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