made method in VI to recompute reachability also dump any previously
stored transition dynamics