filter out all schematic theorems if the problem contains no ground constants
filter out all schematic theorems if the problem contains no ground constants

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