Function check_data_name 

fn check_data_name(
    name: &str,
    seen: &[String],
    span: Span,
    context: &str,
) -> Result<()>

Refuse a name the condition object owns, or one already in seen.