Update SAT object

  - Update addMissingVarsToDict() to follow procedure from last commit.