idris-1.2.0: test/totality024/expected

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