let vars_of_clause (clause: clause) : var list = List.fold_left (fun acc literal -> do_vars_of_term acc literal.atom ) [] clause