Translator between SML and SMT-LIB partially complete