Added sources for transtion of SLP to SMTLIB