Add BinaryExpression Rules