end
class RFIMAContext
-special ReachableFromInitMethodAnalysis
+ super ReachableFromInitMethodAnalysis
readable var _reachable_from_init_iroutines: HashSet[IRoutine] = new HashSet[IRoutine]
redef fun is_iroutine_reachable_from_init(ir: nullable IRoutine): Bool do
end
class RFIMAVisitor
-special ICodeVisitor
+ super ICodeVisitor
readable var _context: RFIMAContext
readable var _program: Program