test017a.idr:5:scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans
test017b.idr:4:foo.foo is possibly not total due to recursive path foo.foo