(1) Check consumer commutativity. (2) Apply simplifications iteratively