idris-0.99: test/totality011/expected

totality011.lidr:22:3:
Main.weCanOnlyGetOlder is not total as there are missing cases