Function cfg_predicate 

pub(super) fn cfg_predicate(
    sema: &Semantics<'_, RootDatabase>,
    predicate: CfgPredicate,
) -> Option<Markup>