Path	Lines of Code
meta/src/main/java/org/arend/lib/level/StdLevelProver.java	142
meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	771
meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	418