Merges reachability index code from the experimental branch