public ReachabilityGame(Arena arena, ISet<int> reachSet) { this.arena = arena; this.reachSet = reachSet; }