i -src testsuite/compiler/check/lincat-types/TestCnc.gf