Function validate_projected 

pub fn validate_projected(
    kind: &ValueListType,
    states: &ProjectedStates,
    references: &ReferenceUse,
) -> Findings