read_asts: Lexicon.report_token, filter Lexicon.is_proper; report tokens;
read_asts: Lexicon.report_token, filter Lexicon.is_proper;
report tokens;

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