(c) Try to fix z3 solver execution