Dafny program verifier finished with 3 verified, 0 errors
Compilation error: Function _0_A_Compile._default.P has no body