infinite game tree