Weakened preconditions in recursion example.#2256

parno merged 1 commit intoverus-lang:mainverus-lang/verus:mainfrom

jsenn:user/jsenn/fix-maxjsenn/verus:user/jsenn/fix-maxCopy head branch name to clipboard