Effective Branching and Merging Techniques