1Checker tests for the code sinking optimization pass.
2