Function is_modeled 

pub(crate) fn is_modeled(callee: Option<DefId>) -> bool

True when callee matches a hand-modelled API in the registry. The path graph uses this to keep such calls opaque (it must not inline their branchy CFG when the VM models their semantics more precisely).