Tweaks to is_fol_term, the first-order test. We don't count "=" as a connective since this test is applied to clause forms.
Tweaks to is_fol_term, the first-order test. We don't count "=" as a connective
since this test is applied to clause forms.

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