fn convert_contract( contract: ContractDefinition, comment_map: &HashMap<usize, NatspecDocIR>, ) -> ContractIR