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