duplicated block id: 1 size: 17 cleaned lines of code in 2 files: - Sources/SolToBoogie/RevertLogicGenerator.cs (473:498) - Sources/SolToBoogie/RevertLogicGenerator.cs (591:617) duplicated block id: 2 size: 16 cleaned lines of code in 2 files: - Sources/BoogieAST/BoogieAST.cs (187:214) - Sources/BoogieAST/BoogieAST.cs (267:294) duplicated block id: 3 size: 12 cleaned lines of code in 2 files: - Sources/ExternalToolsManager/DownloadedToolManager.cs (97:109) - Sources/VeriSol/VeriSolExecuter.cs (409:421) duplicated block id: 4 size: 11 cleaned lines of code in 2 files: - Sources/BoogieAST/BoogieAST.cs (275:292) - Sources/BoogieAST/BoogieAST.cs (333:350) duplicated block id: 5 size: 11 cleaned lines of code in 2 files: - Sources/SolToBoogieTest/Program.cs (48:67) - Sources/VeriSol/Program.cs (96:115) duplicated block id: 6 size: 11 cleaned lines of code in 2 files: - Sources/BoogieAST/BoogieAST.cs (195:212) - Sources/BoogieAST/BoogieAST.cs (333:350) duplicated block id: 7 size: 9 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1192:1211) - Sources/SolidityAST/SolidityAST.cs (1334:1353) duplicated block id: 8 size: 9 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (1046:1067) - Sources/SolToBoogie/ProcedureTranslator.cs (1161:1182) duplicated block id: 9 size: 9 cleaned lines of code in 2 files: - Sources/SolToBoogie/FunctionEventResolver.cs (34:48) - Sources/SolToBoogie/StateVariableResolver.cs (31:45) duplicated block id: 10 size: 9 cleaned lines of code in 2 files: - Sources/SolToBoogieTest/RegressionExecutor.cs (142:150) - Sources/VeriSol/Program.cs (37:45) duplicated block id: 11 size: 8 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (650:666) - Sources/SolidityAST/SolidityAST.cs (685:701) duplicated block id: 12 size: 8 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (2844:2854) - Sources/SolToBoogie/ProcedureTranslator.cs (2899:2909) duplicated block id: 13 size: 8 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (362:371) - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (413:422) duplicated block id: 14 size: 8 cleaned lines of code in 2 files: - Sources/SolToBoogie/HarnessGenerator.cs (104:115) - Sources/SolToBoogie/HarnessGenerator.cs (305:316) duplicated block id: 15 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/TransUtils.cs (488:496) - Sources/SolToBoogie/TransUtils.cs (511:519) duplicated block id: 16 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (1817:1827) - Sources/SolToBoogie/ProcedureTranslator.cs (1941:1952) duplicated block id: 17 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (391:401) - Sources/SolidityAST/SolidityAST.cs (595:605) duplicated block id: 18 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:729) - Sources/SolidityAST/SolidityAST.cs (843:856) duplicated block id: 19 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:228) - Sources/SolidityAST/SolidityAST.cs (1309:1322) duplicated block id: 20 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:856) - Sources/SolidityAST/SolidityAST.cs (1435:1448) duplicated block id: 21 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (813:826) - Sources/SolidityAST/SolidityAST.cs (841:854) duplicated block id: 22 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (374:389) - Sources/SolidityAST/SolidityAST.cs (578:593) duplicated block id: 23 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:301) - Sources/SolidityAST/SolidityAST.cs (1309:1322) duplicated block id: 24 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (361:368) - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (450:457) duplicated block id: 25 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/TransUtils.cs (738:747) - Sources/SolToBoogie/TransUtils.cs (755:764) duplicated block id: 26 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:729) - Sources/SolidityAST/SolidityAST.cs (1435:1448) duplicated block id: 27 size: 7 cleaned lines of code in 2 files: - Sources/BoogieAST/BoogieAST.cs (1097:1106) - Sources/BoogieAST/BoogieAST.cs (1136:1145) duplicated block id: 28 size: 7 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:228) - Sources/SolidityAST/SolidityAST.cs (288:301) duplicated block id: 29 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (361:368) - Sources/SolToBoogie/ProcedureTranslator.cs (989:996) duplicated block id: 30 size: 7 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (450:457) - Sources/SolToBoogie/ProcedureTranslator.cs (989:996) duplicated block id: 31 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 32 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 33 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogieTest/RegressionExecutor.cs (134:139) - Sources/VeriSol/Program.cs (29:34) duplicated block id: 34 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 35 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 36 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1169:1180) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 37 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 38 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 39 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1403:1414) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 40 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 41 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (1027:1038) - Sources/SolToBoogie/ProcedureTranslator.cs (1132:1142) duplicated block id: 42 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 43 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (580:593) - Sources/SolidityAST/SolidityAST.cs (1671:1683) duplicated block id: 44 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 45 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1219:1230) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 46 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 47 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 48 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (547:559) - Sources/SolidityAST/SolidityAST.cs (1052:1064) duplicated block id: 49 size: 6 cleaned lines of code in 2 files: - Sources/ExternalToolsManager/DotnetCliToolManager.cs (40:45) - Sources/SolToBoogieTest/RegressionExecutor.cs (220:225) duplicated block id: 50 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 51 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (987:998) duplicated block id: 52 size: 6 cleaned lines of code in 2 files: - Sources/ExternalToolsManager/DotnetCliToolManager.cs (40:45) - Sources/VeriSol/VeriSolExecuter.cs (409:414) duplicated block id: 53 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 54 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 55 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 56 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 57 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 58 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/FunctionEventCollector.cs (22:33) - Sources/SolToBoogie/SolidityDesugaring.cs (25:36) duplicated block id: 59 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (815:826) duplicated block id: 60 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (1039:1046) - Sources/SolToBoogie/ProcedureTranslator.cs (1144:1151) duplicated block id: 61 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/ProcedureTranslator.cs (2834:2839) - Sources/SolToBoogie/ProcedureTranslator.cs (2888:2893) duplicated block id: 62 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (843:854) duplicated block id: 63 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 64 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/RevertLogicGenerator.cs (520:528) - Sources/SolToBoogie/RevertLogicGenerator.cs (637:647) duplicated block id: 65 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1169:1180) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 66 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (843:854) duplicated block id: 67 size: 6 cleaned lines of code in 2 files: - Sources/ExternalToolsManager/DotnetCliToolManager.cs (40:45) - Sources/ExternalToolsManager/DownloadedToolManager.cs (97:102) duplicated block id: 68 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1198:1211) - Sources/SolidityAST/SolidityAST.cs (1737:1749) duplicated block id: 69 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 70 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1309:1320) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 71 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (987:998) duplicated block id: 72 size: 6 cleaned lines of code in 2 files: - Sources/ExternalToolsManager/DownloadedToolManager.cs (97:102) - Sources/SolToBoogieTest/RegressionExecutor.cs (220:225) duplicated block id: 73 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (187:199) - Sources/SolidityAST/SolidityAST.cs (331:343) duplicated block id: 74 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 75 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 76 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (815:826) duplicated block id: 77 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/MapArrayCollector.cs (17:28) - Sources/SolToBoogie/SolidityDesugaring.cs (25:36) duplicated block id: 78 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1309:1320) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 79 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 80 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 81 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (252:265) - Sources/SolidityAST/SolidityAST.cs (1704:1716) duplicated block id: 82 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1219:1230) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 83 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 84 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 85 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1309:1320) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 86 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (987:998) duplicated block id: 87 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 88 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1219:1230) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 89 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 90 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 91 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (454:467) - Sources/SolidityAST/SolidityAST.cs (547:559) duplicated block id: 92 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1340:1353) - Sources/SolidityAST/SolidityAST.cs (1737:1749) duplicated block id: 93 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1169:1180) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 94 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 95 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/FunctionEventCollector.cs (22:33) - Sources/SolToBoogie/MapArrayCollector.cs (17:28) duplicated block id: 96 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1150:1161) duplicated block id: 97 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 98 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 99 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 100 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 101 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1169:1180) duplicated block id: 102 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (815:826) duplicated block id: 103 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 104 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 105 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 106 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1169:1180) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 107 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogieTest/RegressionExecutor.cs (220:225) - Sources/VeriSol/VeriSolExecuter.cs (409:414) duplicated block id: 108 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (987:998) duplicated block id: 109 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (376:389) - Sources/SolidityAST/SolidityAST.cs (1671:1683) duplicated block id: 110 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (987:998) duplicated block id: 111 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (454:467) - Sources/SolidityAST/SolidityAST.cs (1052:1064) duplicated block id: 112 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (413:419) - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (451:457) duplicated block id: 113 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1403:1414) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 114 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (815:826) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 115 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (413:419) - Sources/SolToBoogie/ProcedureTranslator.cs (990:996) duplicated block id: 116 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1150:1161) - Sources/SolidityAST/SolidityAST.cs (1435:1446) duplicated block id: 117 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 118 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1435:1446) - Sources/SolidityAST/SolidityAST.cs (1456:1467) duplicated block id: 119 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (288:299) - Sources/SolidityAST/SolidityAST.cs (716:727) duplicated block id: 120 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (716:727) - Sources/SolidityAST/SolidityAST.cs (1219:1230) duplicated block id: 121 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (215:226) - Sources/SolidityAST/SolidityAST.cs (716:727) duplicated block id: 122 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1219:1230) - Sources/SolidityAST/SolidityAST.cs (1403:1414) duplicated block id: 123 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (1169:1180) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 124 size: 6 cleaned lines of code in 2 files: - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (550:555) - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (631:636) duplicated block id: 125 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (843:854) - Sources/SolidityAST/SolidityAST.cs (1309:1320) duplicated block id: 126 size: 6 cleaned lines of code in 2 files: - Sources/SolidityAST/SolidityAST.cs (987:998) - Sources/SolidityAST/SolidityAST.cs (1309:1320)