visitClause

open override fun visitClause(term: Clause): Set<Var>