let
reduce_equality state _l _r = state