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