temp checkin
finish implementation of smtLIB2.ml