attach modifier only later, to avoid interference as e.g. in "simp add: foo [simplified] bar";
attach modifier only later, to avoid interference as e.g. in "simp add: foo [simplified] bar";

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