Checker tests for the 'if' simplification in the compiler.