let is_equal s x y = 
  let (x', _) = find s x 
  and (y', _) = find s y in
    Term.eq x' y'