UndefinedOperationError for game.player.{actions,infosets} on non-tree#701

tturocy merged 2 commits intomastergambitproject/gambit:masterfrom

issue_696gambitproject/gambit:issue_696Copy head branch name to clipboard