Path	Lines of Code
Sources/SolToBoogie/FunctionEventResolver.cs	98
Sources/SolToBoogie/MapArrayHelper.cs	125
Sources/SolToBoogie/ParseUtils.cs	157
Sources/SolToBoogie/ProcedureTranslator.cs	3056
Sources/SolToBoogie/RevertLogicGenerator.cs	479
Sources/SolToBoogie/TransUtils.cs	799
Sources/SolToBoogie/TranslatorContext.cs	441
Sources/SolToBoogieTest/RegressionExecutor.cs	246
Sources/SolidityAST/SolidityAST.cs	1474
Sources/VeriSol/VeriSolExecuter.cs	383