Path	Lines of Code
base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java	1500
base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java	1078
base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubExprVisitor.java	432
cli/src/main/java/org/arend/frontend/repl/jline/Completers.java	163