Add dafny file lolol.