let rel_are_equals (rel1,t11,t12) (rel2,t21,t22) =
  rel1 = rel2 
  && Logic_utils.is_same_term t11 t21 
  && Logic_utils.is_same_term t12 t22