Changed no_vars such that it outputs list of illegal schematic variables.
Changed no_vars such that it outputs list of illegal schematic variables.

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