Add a testcase for the canonicalizations now performed by deadargelim.