7 duplicated lines in:
  - source/command/serverCommand.mli (1:8, 30%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/checkCommand.ml (1:8, 2%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/inferCommand.mli (1:8, 41%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/inferCommand.ml (1:8, 4%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/analyzeCommand.ml (1:8, 2%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/analyzeCommand.mli (1:8, 20%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/checkCommand.mli (1:8, 24%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/commandStartup.ml (1:8, 4%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

7 duplicated lines in:
  - source/command/serverCommand.ml (1:8, 3%)
  - source/data_structures/patriciaTreeSet.ml (1:8, 1%)

6 duplicated lines in:
  - source/command/inferCommand.ml (1:6, 3%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/analyzeCommand.mli (1:6, 17%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/serverCommand.ml (1:6, 3%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/commandStartup.ml (1:6, 3%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/commands.ml (1:6, 54%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/inferCommand.mli (1:6, 35%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/analyzeCommand.ml (1:6, 1%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/checkCommand.mli (1:6, 20%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/checkCommand.ml (1:6, 2%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/serverCommand.mli (1:6, 26%)
  - source/data_structures/patriciaTreeSet.mli (1:6, 12%)

6 duplicated lines in:
  - source/command/commands.ml (1:6, 54%)
  - source/data_structures/patriciaTreeSet.ml (1:6, 1%)