Correct null contamination for IF.

See new test cases.