Add an interesting testcase we already handle correctly.