Added a verbose flag. Now you can supply an extra parameter (plus the filename) to get more information about the derived state of the program.