duplicated block id: 1
size: 20 cleaned lines of code
in 2 files:
 - Sources/SolToBoogieTest/Program.cs (48:68)
 - Sources/VeriSol/Program.cs (96:116)

duplicated block id: 2
size: 12 cleaned lines of code
in 2 files:
 - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (497:513)
 - Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs (514:530)

duplicated block id: 3
size: 10 cleaned lines of code
in 2 files:
 - Sources/SolidityAST/SolidityAST.cs (1192:1202)
 - Sources/SolidityAST/SolidityAST.cs (1334:1344)

duplicated block id: 4
size: 7 cleaned lines of code
in 2 files:
 - Sources/SolidityAST/SolidityAST.cs (650:657)
 - Sources/SolidityAST/SolidityAST.cs (685:692)