A few more test cases around canonicalization