Fixed the issue with non-negative indices in SMT.