reversed the order of generated procedures; commutativity checks are generated first
Merge