added sources of the smtlib2parser; fixed translation to slide