Path	Lines of Code
smt2parser/src/concrete.rs	1157
smt2parser/src/lexer.rs	381
smt2parser/src/lib.rs	130
smt2parser/src/main.rs	116
smt2parser/src/parser.rs	437
smt2parser/src/renaming.rs	70
smt2parser/src/rewriter.rs	934
smt2parser/src/stats.rs	490
smt2parser/src/visitors.rs	505