testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf:
   circular definitions: f g