Unfolding recursive functions in Stainless

01-04, CS-550 Formal Verification