import program
class ChaContext
-special ReachableMethodAnalysis
+ super ReachableMethodAnalysis
readable var _reachable_iroutines: HashSet[IRoutine] = new HashSet[IRoutine]
redef fun is_iroutine_reachable(ir: nullable IRoutine): Bool do
end
class ChaVisitor
-special ICodeVisitor
+ super ICodeVisitor
readable var _builder: ChaBuilder
redef fun visit_icode(ic)