SMTExpr to Term now supports negative offsets.