let is_equal s x y =
  match Term.is_equal x y with
    | Three.X -> Partition.is_equal s.p x y
    | res -> res