DAFNY: Can't compile Dafny program that tries to read from the CMD

Question

This question is an update of DAFNY: Can't compile Dafny program.

I\'m trying to create a verified program in dafny that receives some arguments from the command