12 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (74:98, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1136:1160, <1%)

12 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (45:69, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1107:1131, <1%)

10 duplicated lines in:
  - impl/src/tooling/icpp/transpiler/iccp_workflows.ts (61:72, 11%)
  - impl/src/tooling/verifier/smt_workflows.ts (75:86, 2%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (125:142, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1187:1204, <1%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (147:164, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1231:1248, <1%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (169:186, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1209:1226, <1%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (147:164, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1209:1226, <1%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (169:186, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1231:1248, <1%)

9 duplicated lines in:
  - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (103:120, 1%)
  - impl/src/tooling/verifier/evaluator/decls.cpp (1165:1182, <1%)

7 duplicated lines in:
  - impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts (55:64, 5%)
  - impl/src/tooling/verifier/smtdecls_emitter.ts (873:882, <1%)

6 duplicated lines in:
  - impl/src/tooling/icpp/transpiler/iccp_workflows.ts (35:44, 7%)
  - impl/src/tooling/verifier/smt_workflows.ts (49:58, 1%)