I\'m trying to add Io operations and command line (main) arguments to Dafny for a project. Upon some research I found an assignment that used a C# class that had the n
