fn collect_contract_call_permissions( ir_module: &Module, ) -> (BTreeMap<String, PermissionMethods>, bool)