Dafny program verifier finished with 29 verified, 0 errors
Compiled assembly into Leq.dll