SMTExpr to Term now supports negative offsets.
Merge pull request #154 from AdrienChampion/bugfix_parsing-neg-offset

Bug fix: SMTExpr to Term now supports negative offsets of var-s