checking module C
   {Int <> S}
   in definition of function f in C.gf, line 6