more GameTree specs