gf-3.10: testsuite/compiler/check/lincat-types/TestCnc.gf

concrete TestCnc of Test = open Predef in {

lincat S = PTrue ;

}