idris-0.99.1: test/totality020/expected

totality020.idr:4:5:bug _ _ Refl is a valid case