Testing Branching and Merging