smtlib code almost done creating. ASsertions missing and whole generation-routine.