Path	Lines of Code
impl/src/tooling/verifier/evaluator/decls.cpp	2015
impl/src/tooling/verifier/evaluator/decls.h	491
impl/src/tooling/verifier/evaluator/workflows.cpp	323
impl/src/tooling/verifier/runtime/smtruntime.smt2	331
impl/src/tooling/verifier/smt_assembly.ts	638
impl/src/tooling/verifier/smt_exp.ts	437
impl/src/tooling/verifier/smt_workflows.ts	599
impl/src/tooling/verifier/smtcollection_emitter.ts	948
impl/src/tooling/verifier/smtdecls_emitter.ts	1010
impl/src/tooling/verifier/smttype_emitter.ts	93