Add a new testcase which breaks the sinker because the loop canonnicalization