SMVParser.py Take2\NuSMVParser - now generates jpg image
  SMVParser.py Take2\NuSMVParser - now handles more than a single LTLSPEC
  SMVParser.py Take2\NuSMVParser - added LTLSpec as label of graphs
  SMVParser.py Take2\NuSMVParser - now also generates a graph for TRUE LTL specifications
VAR and ASSIGN sections are now compiled by copying original text