# Default behavior is to say that all methods/iroutines are reachable
# from at least one init
class DefaultReachableFromInitMethodAnalysis
-special ReachableFromInitMethodAnalysis
+ super ReachableFromInitMethodAnalysis
redef fun is_iroutine_reachable_from_init(ir: nullable IRoutine): Bool do return true
redef fun is_method_reachable_from_init(method: MMMethod): Bool do return true