let merge (s1,p1) (s2,p2) = if F.is_true p2.property then (s1,p1) else if F.is_true p1.property then (s2,p2) else merge_assigns s1 s2 , merge_property F.p_and p1 p2