pub fn build_semantic_model( metadata: &ContractMetadata, ) -> Result<SemanticModel, Vec<Diagnostic>>