1 2 3 4 5 6
BadFunction.dfy(9,2): Error: failure to decrease termination measure Execution trace: (0,0): anon0 (0,0): anon4_Else Dafny program verifier finished with 2 verified, 1 error