Update facts during isfalse optimization.

We got the facts out of sync with the not_i insertion, meaning that a
wrong branch could then result later.