add match commutation rules