Issue 503. Extend GameTreeRep to keep track of the total number of non-terminal nodes in the game#515

tturocy merged 2 commits intogambitproject:mastergambitproject/gambit:masterfrom

d-kad:issue_503d-kad/gambit:issue_503Copy head branch name to clipboard