DafnyMenu This is a menu for interacting with Dafny.