1Test a loop with invariants. In this case, since the invariants gets used later in the loop constant calculation sinking doesnt work.
2Hence loop cannot be removed.
3