Update SAT class
  - Update initFromFile() so that it would add missing variables by calling addMissingVarsToDict().
  - Update SAT object properties to include numOfVars.
Update Solver class
  - Rename solver() to simpleSolver() and inserted code to recursively solve a SAT object.
  - Note updateWatchlist() will need to be completed before simpleSolver() will work properly.