i -src testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf