let test_and_merge old_lmap new_lmap = let new_lmap = LM.join old_lmap new_lmap in if LM.is_included new_lmap old_lmap then None else Some new_lmap