prep_full_context_statement: explicit record of flags; prep_declaration (for add_locale): disallow autofixed frees;
prep_full_context_statement: explicit record of flags;
prep_declaration (for add_locale): disallow autofixed frees;

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