public void Convert()
        {
            var contract          = ContractParser.FromDasFile("C:\\Users\\Johny\\Downloads\\mortgage.dascontract");
            var contractConverter = new ContractConverter(contract);

            contractConverter.ConvertContract();
            File.WriteAllText("C:\\Users\\Johny\\Downloads\\mortgage.sol", contractConverter.GetSolidityCode());
        }