added invent_fixes; added debug flag, pprint_context;
added invent_fixes;
added debug flag, pprint_context;

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