Solved by Michael_Suo in post #4 
              
              
                Yes, moveAfterTopologicallyValid takes care of that. It does dependence analysis to make sure that this merging is disallowed.