Refactored BinaryExpr.