duplicated block id: 1
size: 14 cleaned lines of code
in 2 files:
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/FunctionDefinition.kt (52:74)
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/OperationDefinition.kt (76:98)

duplicated block id: 2
size: 10 cleaned lines of code
in 2 files:
 - src/main/java/workspace/HelloZ3.java (80:91)
 - src/main/java/workspace/HelloZ3.java (114:125)

duplicated block id: 3
size: 9 cleaned lines of code
in 2 files:
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/FunctionDefinition.kt (12:28)
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/OperationDefinition.kt (18:34)

duplicated block id: 4
size: 9 cleaned lines of code
in 2 files:
 - src/main/java/workspace/HelloZ3.java (137:150)
 - src/main/java/workspace/HelloZ3.java (170:183)

duplicated block id: 5
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/DomainAnalyser.kt (211:216)
 - src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/DomainAnalyser.kt (219:224)

duplicated block id: 6
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/DomainAnalyser.kt (267:272)
 - src/main/kotlin/com/github/korosuke613/bwdm/symbolicExecutionUnit/SymbolicExecutioner.kt (54:59)

duplicated block id: 7
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/FunctionDefinition.kt (29:34)
 - src/main/kotlin/com/github/korosuke613/bwdm/informationStore/OperationDefinition.kt (37:42)