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