improved error message in SMTLib translation