Added first version of smtlib parser for sl theory