Temporarily printing the constraints until problems with translation of Term to Z3 are fixed