Function validate_pure_methods 

fn validate_pure_methods(
    metadata: &ContractMetadata,
    hazards: &HashMap<String, Hazards>,
) -> Vec<IrDiagnostic>