turned keywords invariant/freshness_context into reserved indentifiers;
turned keywords invariant/freshness_context into reserved indentifiers;

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