Add an additional pattern for BLCI since opt can turn (not (add x, 1)) into (sub -2, x).