var _methods: HashMap[MMLocalClass, List[MMMethod]] = new HashMap[MMLocalClass, List[MMMethod]]
redef fun is_method_reachable_as_init(method: MMMethod, c: MMLocalClass): Bool do
var _methods: HashMap[MMLocalClass, List[MMMethod]] = new HashMap[MMLocalClass, List[MMMethod]]
redef fun is_method_reachable_as_init(method: MMMethod, c: MMLocalClass): Bool do