Update SAT object

  - Fix a bug where undefined return not every appropiate time when converting a literal to a string representation.