expected

totality021.idr:8:1:
Main.sLevelNotSLevel' is possibly not total due to recursive path Main.sLevelNotSLevel' --> Main.sLevelNotSLevel'
totality021.idr:12:1:
Main.sLevelNotSLevel is possibly not total due to: Main.sLevelNotSLevel'
totality021.idr:18:1:Main.v is possibly not total due to: Main.sLevelNotSLevel
totality021a.idr:9:1:
Main.noNonEmptyPointInt is not total as there are missing cases
totality021a.idr:12:1:
Main.myVoid is possibly not total due to: Main.noNonEmptyPointInt