Problem in progress-lemma with case-statement