Revert to unoptimized NLESS-monotonicity rules