checking module linsCnc
   Warning: no linearization type for C, inserting default {s : Str}
   Warning: no linearization of test
abstract lins {
  cat C Nat ;
  cat Float ;
  cat Int ;
  cat Nat ;
  cat String ;
  fun test : C zero ;
  fun zero : Nat ;
}
concrete linsCnc {
  productions
    C1 -> F2[]
  lindefs
    C0 -> F0
    C1 -> F1
  lin
    F0 := (S0) [lindef C]
    F1 := () [lindef Nat]
    F2 := () [zero]
  sequences
    S0 := {0,0}
  categories
    C := range  [C0 .. C0]
         labels ["s"]
    Float := range  [CFloat .. CFloat]
             labels ["s"]
    Int := range  [CInt .. CInt]
           labels ["s"]
    Nat := range  [C1 .. C1]
           labels []
    String := range  [CString .. CString]
              labels ["s"]
    __gfVar := range  [CVar .. CVar]
               labels [""]
  printnames
}