Update SAT object

  - Update getLiteralStrFromDict() so that varaibles will be looked up properly in varDict.