Computes the lowest level of the reachability structure.