duplicated block id: 1 size: 16 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/scope/LexicalScope.java (128:148) - base/src/main/java/org/arend/naming/scope/LexicalScope.java (278:299) duplicated block id: 2 size: 14 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/concrete/Concrete.java (2293:2312) - base/src/main/java/org/arend/term/concrete/Concrete.java (2374:2393) duplicated block id: 3 size: 13 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/DataDefinition.java (186:206) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (169:189) duplicated block id: 4 size: 12 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/implicitargs/equations/DummyEquations.java (23:43) - base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsWrapper.java (21:41) duplicated block id: 5 size: 11 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/param/TypedDependentLink.java (57:73) - base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java (52:68) duplicated block id: 6 size: 11 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/Constructor.java (171:189) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (72:90) duplicated block id: 7 size: 11 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/pattern/BindingPattern.java (40:56) - base/src/main/java/org/arend/core/pattern/EmptyPattern.java (42:58) duplicated block id: 8 size: 10 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/Constructor.java (204:219) - base/src/main/java/org/arend/core/definition/DataDefinition.java (201:216) duplicated block id: 9 size: 10 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/pattern/BindingPattern.java (120:132) - base/src/main/java/org/arend/core/pattern/EmptyPattern.java (104:116) duplicated block id: 10 size: 10 cleaned lines of code in 2 files: - base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java (256:267) - base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java (378:389) duplicated block id: 11 size: 9 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java (105:117) - base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java (42:54) duplicated block id: 12 size: 9 cleaned lines of code in 2 files: - base/src/main/java/org/arend/source/FileBinarySource.java (50:61) - cli/src/main/java/org/arend/frontend/source/FileRawSource.java (33:44) duplicated block id: 13 size: 9 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/param/TypedDependentLink.java (87:99) - base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java (105:117) duplicated block id: 14 size: 9 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/param/TypedDependentLink.java (87:99) - base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java (42:54) duplicated block id: 15 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java (754:765) - base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java (2354:2365) duplicated block id: 16 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/DataDefinition.java (56:67) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (90:101) duplicated block id: 17 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/repl/action/PrintCommand.java (23:30) - base/src/main/java/org/arend/repl/action/SizeCommand.java (23:30) duplicated block id: 18 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/error/ParsingError.java (18:28) - base/src/main/java/org/arend/typechecking/error/local/CertainTypecheckingError.java (26:36) duplicated block id: 19 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java (472:483) - base/src/main/java/org/arend/core/subst/SubstVisitor.java (309:320) duplicated block id: 20 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/BigIntegerExpression.java (102:109) - base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java (148:155) duplicated block id: 21 size: 8 cleaned lines of code in 2 files: - cli/src/main/java/org/arend/frontend/repl/jline/Completers.java (54:65) - cli/src/main/java/org/arend/frontend/repl/jline/Completers.java (101:112) duplicated block id: 22 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/binding/LevelVariable.java (55:66) - base/src/main/java/org/arend/core/context/binding/LevelVariable.java (87:98) duplicated block id: 23 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/elimtree/IntervalElim.java (118:131) - base/src/main/java/org/arend/core/expr/AtExpression.java (98:110) duplicated block id: 24 size: 8 cleaned lines of code in 2 files: - base/src/main/java/org/arend/module/serialization/DefinitionDeserialization.java (502:512) - base/src/main/java/org/arend/module/serialization/ExpressionDeserialization.java (222:232) duplicated block id: 25 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java (330:339) - base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java (344:353) duplicated block id: 26 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/DataDefinition.java (125:135) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (132:142) duplicated block id: 27 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/concrete/Concrete.java (2048:2056) - base/src/main/java/org/arend/term/concrete/Concrete.java (2235:2243) duplicated block id: 28 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java (249:255) - base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java (261:267) duplicated block id: 29 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (228:236) - base/src/main/java/org/arend/core/definition/MetaTopDefinition.java (73:81) duplicated block id: 30 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1123:1132) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1484:1493) duplicated block id: 31 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/Constructor.java (161:171) - base/src/main/java/org/arend/core/definition/DataDefinition.java (186:196) duplicated block id: 32 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/Constructor.java (161:171) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (169:179) duplicated block id: 33 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java (51:59) - base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java (67:75) duplicated block id: 34 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java (96:103) - base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java (33:40) duplicated block id: 35 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/BoxExpression.java (53:63) - base/src/main/java/org/arend/core/expr/ErrorExpression.java (138:148) duplicated block id: 36 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/DataDefinition.java (216:226) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (214:224) duplicated block id: 37 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java (150:160) - base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java (615:625) duplicated block id: 38 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/source/ZipFileBinarySource.java (30:40) - cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java (21:31) duplicated block id: 39 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java (147:156) - base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java (163:172) duplicated block id: 40 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/prelude/PreludeResourceSource.java (38:48) - base/src/main/java/org/arend/source/ZipFileBinarySource.java (30:40) duplicated block id: 41 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/prelude/PreludeResourceSource.java (38:48) - cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java (21:31) duplicated block id: 42 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1091:1099) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1157:1165) duplicated block id: 43 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/context/binding/PersistentEvaluatingBinding.java (13:23) - base/src/main/java/org/arend/core/expr/let/HaveClause.java (38:48) duplicated block id: 44 size: 7 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java (32:40) - base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java (20:28) duplicated block id: 45 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/Constructor.java (209:216) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (198:205) duplicated block id: 46 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 47 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 48 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 49 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 50 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 51 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/DataDefinition.java (206:213) - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (198:205) duplicated block id: 52 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) duplicated block id: 53 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 54 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java (117:127) - base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java (546:557) duplicated block id: 55 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java (22:29) - base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java (20:27) duplicated block id: 56 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java (711:716) - base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java (938:943) duplicated block id: 57 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 58 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 59 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/concrete/Concrete.java (2622:2629) - base/src/main/java/org/arend/term/concrete/Concrete.java (2731:2738) duplicated block id: 60 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 61 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (55:62) - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (78:85) duplicated block id: 62 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 63 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java (323:332) - base/src/main/java/org/arend/core/subst/SubstVisitor.java (311:320) duplicated block id: 64 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 65 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) duplicated block id: 66 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java (362:369) - base/src/main/java/org/arend/core/subst/SubstVisitor.java (241:248) duplicated block id: 67 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) duplicated block id: 68 size: 6 cleaned lines of code in 2 files: - cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java (126:133) - cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java (20:27) duplicated block id: 69 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 70 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 71 size: 6 cleaned lines of code in 2 files: - api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java (34:41) - api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java (44:51) duplicated block id: 72 size: 6 cleaned lines of code in 2 files: - cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java (74:81) - cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java (20:27) duplicated block id: 73 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) duplicated block id: 74 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 75 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/ModuleReferable.java (22:29) - base/src/main/java/org/arend/naming/reference/TCDefReferable.java (73:80) duplicated block id: 76 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 77 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 78 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 79 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) duplicated block id: 80 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/pattern/BindingPattern.java (80:89) - base/src/main/java/org/arend/core/pattern/EmptyPattern.java (81:90) duplicated block id: 81 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/scope/ScopeFactory.java (98:104) - base/src/main/java/org/arend/naming/scope/ScopeFactory.java (190:196) duplicated block id: 82 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/group/EmptyGroup.java (25:32) - base/src/main/java/org/arend/term/group/StaticGroup.java (24:31) duplicated block id: 83 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 84 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/ConcreteClassFieldReferable.java (18:25) - base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java (22:29) duplicated block id: 85 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 86 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/concrete/Concrete.java (1433:1442) - base/src/main/java/org/arend/term/concrete/Concrete.java (1456:1465) duplicated block id: 87 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 88 size: 6 cleaned lines of code in 2 files: - cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java (55:62) - cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java (129:136) duplicated block id: 89 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 90 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 91 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 92 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 93 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 94 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/FindMissingBindingVisitor.java (67:77) - base/src/main/java/org/arend/core/expr/visitor/NormalizingFindBindingVisitor.java (92:102) duplicated block id: 95 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) duplicated block id: 96 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 97 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/ClassField.java (152:161) - base/src/main/java/org/arend/core/definition/TopLevelDefinition.java (32:41) duplicated block id: 98 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (30:37) - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (78:85) duplicated block id: 99 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/FunctionDefinition.java (122:129) - base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java (61:68) duplicated block id: 100 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java (474:483) - base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java (323:332) duplicated block id: 101 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) duplicated block id: 102 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) duplicated block id: 103 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/ConCallExpression.java (65:72) - base/src/main/java/org/arend/core/expr/DataCallExpression.java (44:51) duplicated block id: 104 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 105 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/ConcreteLocatedReferable.java (31:38) - base/src/main/java/org/arend/naming/reference/MetaReferable.java (97:104) duplicated block id: 106 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java (3531:3536) - base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java (3543:3548) duplicated block id: 107 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java (274:279) - base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java (131:136) duplicated block id: 108 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 109 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) duplicated block id: 110 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) duplicated block id: 111 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/definition/ClassDefinition.java (211:220) - base/src/main/java/org/arend/core/definition/DataDefinition.java (42:51) duplicated block id: 112 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 113 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/IntegerExpression.java (61:68) - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) duplicated block id: 114 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (38:45) - base/src/main/java/org/arend/core/expr/PiExpression.java (66:73) duplicated block id: 115 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) duplicated block id: 116 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (765:772) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1197:1204) duplicated block id: 117 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 118 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 119 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 120 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/TupleExpression.java (48:55) duplicated block id: 121 size: 6 cleaned lines of code in 2 files: - cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java (74:81) - cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java (126:133) duplicated block id: 122 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/CaseExpression.java (39:48) - base/src/main/java/org/arend/term/concrete/Concrete.java (2371:2380) duplicated block id: 123 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/DefCallExpression.java (89:96) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 124 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java (169:176) - base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java (91:98) duplicated block id: 125 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) duplicated block id: 126 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 127 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1159:1165) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1417:1423) duplicated block id: 128 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) duplicated block id: 129 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 130 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/error/local/NotEqualExpressionsError.java (20:27) - base/src/main/java/org/arend/typechecking/error/local/SolveEquationError.java (19:26) duplicated block id: 131 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PEvalExpression.java (79:86) - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) duplicated block id: 132 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) - base/src/main/java/org/arend/core/expr/SigmaExpression.java (87:94) duplicated block id: 133 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1093:1099) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1417:1423) duplicated block id: 134 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1103:1110) - base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1465:1472) duplicated block id: 135 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/LamExpression.java (82:89) - base/src/main/java/org/arend/core/expr/StringExpression.java (37:44) duplicated block id: 136 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PiExpression.java (187:194) - base/src/main/java/org/arend/core/expr/UniverseExpression.java (85:92) duplicated block id: 137 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/expr/PathExpression.java (62:69) - base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java (186:193) duplicated block id: 138 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (30:37) - base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java (55:62) duplicated block id: 139 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/naming/reference/RedirectingReferableImpl.java (17:24) - base/src/main/java/org/arend/naming/reference/TypedRedirectingReferable.java (16:23) duplicated block id: 140 size: 6 cleaned lines of code in 2 files: - base/src/main/java/org/arend/core/elimtree/LeafElimTree.java (31:38) - base/src/main/java/org/arend/core/expr/Expression.java (675:682)