I\'m trying to create a verified program in dafny that receives some arguments from the command line. To do that I have two other files that handle the arguments, but when I
