analysis: add an analysis to know if a method/iroutine is reachable from an init