6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/sourcePath.ml (1:6, 2%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractProductDomain.mli (1:6, 14%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/expression.mli (1:6, 1%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/node.mli (1:6, 20%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.ml (1:6, 2%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/reference.mli (1:6, 15%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/serializableMap.mli (1:6, 24%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractMapDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/module.mli (1:6, 18%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/visit.mli (1:6, 6%) - source/domains/abstractMapDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/statement.ml (1:6, <1%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractFlatDomain.mli (1:6, 30%) 6 duplicated lines in: - source/ast/transform.mli (1:6, 13%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractTreeDomain.mli (1:6, 8%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractSimpleDomain.mli (1:6, 33%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractTreeDomain.ml (1:6, <1%) 6 duplicated lines in: - source/ast/visit.ml (1:6, 1%) - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstract.ml (1:6, 33%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.ml (1:6, 15%) - source/domains/abstractToppedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/location.ml (1:6, 5%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/source.mli (1:6, 8%) - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/sourcePath.mli (1:6, 24%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/location.mli (1:6, 9%) - source/domains/abstractElementSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/ignore.mli (1:6, 25%) - source/domains/abstractProductDomain.ml (1:6, 1%) 6 duplicated lines in: - source/ast/module.ml (1:6, 2%) - source/domains/abstractSimpleDomain.ml (1:6, 11%) 6 duplicated lines in: - source/ast/expression.ml (1:6, <1%) - source/domains/abstractSetDomain.mli (1:6, 13%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/transform.ml (1:6, 1%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/node.ml (1:6, 17%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/identifier.mli (1:6, 30%) - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) 6 duplicated lines in: - source/ast/statement.mli (1:6, 1%) - source/domains/abstractDomainCore.ml (1:6, 2%) 6 duplicated lines in: - source/ast/serializableMap.ml (1:6, 14%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/unannotatedGlobal.ml (1:6, 3%) - source/domains/abstractFlatDomain.ml (1:6, 4%) 6 duplicated lines in: - source/ast/unannotatedGlobal.mli (1:6, 11%) - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) 6 duplicated lines in: - source/ast/reference.ml (1:6, 5%) - source/domains/abstractToppedSetDomain.ml (1:6, 3%) 6 duplicated lines in: - source/ast/ignore.ml (1:6, 17%) - source/domains/abstractProductDomain.ml (1:6, 1%)