collapse unary rules