fn validate_state_variables(
metadata: &ContractMetadata,
method_name_counts: &HashMap<String, usize>,
diagnostics: &mut Vec<Diagnostic>,
)fn validate_state_variables(
metadata: &ContractMetadata,
method_name_counts: &HashMap<String, usize>,
diagnostics: &mut Vec<Diagnostic>,
)