testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf:
   circular definitions: A B