add func to test if nash equilibrium exists