LIQUIDERRORINTERNAL SMT2