Update SAT object

  - Update addMissingVarsToDict() again by removing unecessary return statement.