Function validate_abstract_contract 

fn validate_abstract_contract(
    metadata: &ContractMetadata,
    diagnostics: &mut Vec<Diagnostic>,
)