let is_var y _ x = Term.eq y x