idris-1.3.3: test/totality024/expected.out

totality023.idr:5:3:Main.ana is possibly not total due to: Main.ana, go