Update SAT object

  - Update SATObject.py by adding comments and removing unecessay one to make code more clear.
  - Add method getLiteralStrFromDict() to return literal string representation by varDict.
  - Update getLiteralStr() to make the choice of whether to return a literal string representation by converting directly or converting literal and then return string representation as defined by varDict.