fixed contradiction for stochastic game