analysis: add logs for reachable from init analysis