7 duplicated lines in:
  - ironclad-apps/tools/DafnyCC/DafnyCC.cs (222:229, <1%)
  - ironclad-apps/tools/DafnySpec/DafnySpec.cs (391:398, 1%)

7 duplicated lines in:
  - ironclad-apps/tools/DafnyCC/DafnyCC.cs (236:245, <1%)
  - ironclad-apps/tools/DafnySpec/DafnySpec.cs (404:414, 1%)

6 duplicated lines in:
  - ironclad-apps/tools/DafnyCC/DafnyCC.cs (102:110, <1%)
  - ironclad-apps/tools/DafnySpec/DafnySpec.cs (91:99, 1%)

6 duplicated lines in:
  - ironclad-apps/tools/DafnyCC/CompileMethod.cs (573:578, <1%)
  - ironclad-apps/tools/DafnySpec/Compile.cs (367:372, <1%)