setting z3 instead of yices and updating the smaccmpilot model