concrete TestCnc of Test = open Predef in {

lincat S = PTrue ;

}