Don't mark <+ rules as non-monotonic.