Error: "smtlib2" is not found.
