idris-1.1.0: test/totality023/expected

totality023.idr:9:1:
Main.run is possibly not total due to recursive path Main.run --> Main.run