idris-0.9.20: test/totality008/expected

totality008.idr:7:1:
Main.ElimT is possibly not total due to: Main.C2