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