Auto sub for binary_expr