bugfix in HOTerm.Seq.vars/subterms;
only accept safe Horn clauses in Meta.Reasoner