pub fn evaluate_obligation() -> DepKindStruct