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