fix: Fix antecedent in induction hypothesis#6367

RustanLeino merged 5 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

RustanLeino:issue-6366RustanLeino/dafny:issue-6366Copy head branch name to clipboard