new fancy smtlib package