idris-0.10.1: test/totality011/expected

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