Add function Term.is_var