gf-3.1.6: testsuite/compiler/check/strMatch/strMatch.gf

abstract strMatch = {
  cat S ;
  fun f : S -> S ;
      z : S ;
}