let is_equal_or_diseq p x y =
  if Term.is_var x && Term.is_var y then
    Jst.Rel2.apply
      (find p)
      (Jst.Rel2.yes_or_no
         (V.is_equal p.v)            (* positive test *)
         (D.is_diseq p.d))           (* negative test *)
      x y
  else 
    Jst.Three.X