BINOP can find constants