Function validate_predicates 

pub fn validate_predicates(
    source_id: SourceId,
    source: &str,
    ast: &Root,
    diag: &mut Diagnostics,
)