refactor smtlib in separate project