fix(tools/invariant-checking): remove unnecessary files
feat(tools/invariant-checking): add 'not'
fix(tools/invariant-checking): bug fix
feat(tools/invariant-checking): add decls for original variables in ODEs
fix(tools/invariant-checking): take out goal formula
fix(tools/invariant-checking): update example
fix(opensmt/smtsolvers/SMTConfig): disable theory-propagation option in SAT