handle let and distinct in smtlib