fixed classification of rules in atts and modifiers (final!?);
fixed classification of rules in atts and modifiers (final!?);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle