new reachability profiles after more debugging of self cycles