added GameTree specs