preprocess "All" before doing clausification in Metis; helps the definitional clausifier produce fewer clauses
preprocess "All" before doing clausification in Metis;
helps the definitional clausifier produce fewer clauses

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