Creusot 0.11.0: VerifyThis winner

7 points by lyxia