Update SAT Object

  - Fix error where return in getLiteralStr was failing.
Update SAT object

  - Fix error in getLiteralStrFromDict() where varDict wasn't being referenced correctly.
  - Add more comments/documentation within docstring.