idris-0.9.20: test/basic016/expected

Cycle detected in imports: CycleA.idr -> CycleB -> CycleC -> CycleA -> CycleB