readable var _reachable_iroutines: HashSet[IRoutine] = new HashSet[IRoutine]
redef fun is_iroutine_reachable(ir: nullable IRoutine): Bool do
readable var _reachable_iroutines: HashSet[IRoutine] = new HashSet[IRoutine]
redef fun is_iroutine_reachable(ir: nullable IRoutine): Bool do