testsuite/compiler/typecheck/abstract/C.gf:6:
  Happened in the definition of function f
   {Int <> S}