fn check_binop(op: BinOp) -> bool
We do not allow all binary operations in abstract consts, so filter disallowed ones.