pub(crate) fn evaluate_obligation() -> DepKindStruct