import program
class RtaContext
-special ReachableMethodAnalysis
-special InstantiatedTypeAnalysis
+ super ReachableMethodAnalysis
+ super InstantiatedTypeAnalysis
init do end
readable var _instanciated_classes: HashSet[MMLocalClass] = new HashSet[MMLocalClass]
end
class RtaVisitor
-special ICodeVisitor
+ super ICodeVisitor
readable var _builder: RtaBuilder
redef fun visit_icode(ic)