let
merge (s1,p1) (s2,p2) =
merge_assigns s1 s2 , merge_property
F
.p_and p1 p2