idris-0.99: test/totality018/expected

totality018.idr:12:1:Main.bar is not total as there are missing cases