atomize: proper context; RuleInsts.read_instantiate;
atomize: proper context;
RuleInsts.read_instantiate;

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