Creation of a functional SMTLIB file works