let reduce_equality state _l _r = state