let is_diseq p = 
  Jst.Pred2.apply 
    (find p) 
    (D.is_diseq p.d)