This code reads an SMV file (filename given on commmand line) and prints out
the parse tree.

You will have to change the file problem1.cpp in order to add code that
converts the parse tree to CNF/DNF.

You do not need to assign literal numbers to the variables.
