generalize binop reassociation; NFC