problem 2 progress rev(5) case Function finished in typeInfer