Function should_explore 

fn should_explore(tcx: TyCtxt<'_>, def_id: LocalDefId) -> bool

Any local definition that may call something in its body block should be explored. For example, if it’s a live function, then we should explore its block to check for codes that may need to be marked as live.