pub(crate) fn evaluate_goal() -> DepKindStruct