redef fun is_method_reachable_as_init(method: MMMethod, c: MMLocalClass): Bool do
if method.global.is_init and method.global.is_init_for(c) then return true
return false
redef fun is_method_reachable_as_init(method: MMMethod, c: MMLocalClass): Bool do
if method.global.is_init and method.global.is_init_for(c) then return true
return false