let is_var = both_sides Term.is_var