Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
InductionOptions.legacy.dfy(21,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(20,26): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(25,9): Error: assertion might not hold
InductionOptions.legacy.dfy(30,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(29,10): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(35,9): Error: assertion might not hold
InductionOptions.legacy.dfy(40,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(39,26): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(44,9): Error: assertion might not hold

Dafny program verifier finished with 1 verified, 6 errors
InductionOptions.legacy.dfy(21,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(20,26): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(25,9): Error: assertion might not hold
InductionOptions.legacy.dfy(30,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(29,10): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(35,9): Error: assertion might not hold

Dafny program verifier finished with 3 verified, 4 errors
Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
InductionOptions.legacy.dfy(21,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(20,26): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 6 verified, 1 error
Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format

Dafny program verifier finished with 7 verified, 0 errors
Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
InductionOptions.legacy.dfy(25,9): Error: assertion might not hold
InductionOptions.legacy.dfy(30,0): Error: a postcondition could not be proved on this return path
InductionOptions.legacy.dfy(29,10): Related location: this is the postcondition that could not be proved
InductionOptions.legacy.dfy(35,9): Error: assertion might not hold

Dafny program verifier finished with 4 verified, 3 errors
