Reinsurance work: translate the contract into the model first | ActNet