fixed constant printing for z3 constraint #42

Closed yannicnoller closed 4 years ago