[ {
  "relativePath" : "settings.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 8,
  "components" : [ "primary::ROOT" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "parser/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 9,
  "components" : [ "primary::parser" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/sort/Level.java",
  "extension" : "java",
  "linesOfCode" : 169,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/sort/Sort.java",
  "extension" : "java",
  "linesOfCode" : 119,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
  "extension" : "java",
  "linesOfCode" : 202,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/ParametersLevels.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/ParametersLevel.java",
  "extension" : "java",
  "linesOfCode" : 48,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/ClassDefinition.java",
  "extension" : "java",
  "linesOfCode" : 432,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/MetaTopDefinition.java",
  "extension" : "java",
  "linesOfCode" : 76,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/TopLevelDefinition.java",
  "extension" : "java",
  "linesOfCode" : 92,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/UniverseKind.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/CoerceData.java",
  "extension" : "java",
  "linesOfCode" : 305,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
  "extension" : "java",
  "linesOfCode" : 196,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/ClassField.java",
  "extension" : "java",
  "linesOfCode" : 148,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/CallableDefinition.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/Function.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/DefinitionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/Definition.java",
  "extension" : "java",
  "linesOfCode" : 252,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
  "extension" : "java",
  "linesOfCode" : 220,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/definition/DConstructor.java",
  "extension" : "java",
  "linesOfCode" : 72,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 107,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/DependentLink.java",
  "extension" : "java",
  "linesOfCode" : 173,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/SingleDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 53,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/UnusedIntervalDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/TypedSingleDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 46,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/TypedDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 110,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/EmptyDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 71,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/param/PropertyTypedDependentLink.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/LinkList.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/TypedBinding.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/LevelVariable.java",
  "extension" : "java",
  "linesOfCode" : 91,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/EvaluatingBinding.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/NamedBinding.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/FunctionInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/InferenceLevelVariable.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/UserInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/MetaInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/DerivedInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/InferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 107,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/ExpressionInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/LambdaInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/inference/TypeClassInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 51,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/Binding.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/ParamLevelVariable.java",
  "extension" : "java",
  "linesOfCode" : 52,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/TypedEvaluatingBinding.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/binding/PersistentEvaluatingBinding.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/context/Utils.java",
  "extension" : "java",
  "linesOfCode" : 103,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/Levels.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/ListLevels.java",
  "extension" : "java",
  "linesOfCode" : 72,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/SimpleLevelSubstitution.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/ExprSubstitution.java",
  "extension" : "java",
  "linesOfCode" : 116,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/LevelPair.java",
  "extension" : "java",
  "linesOfCode" : 85,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/InferenceVariableSolveVisitor.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/UnfoldVisitor.java",
  "extension" : "java",
  "linesOfCode" : 94,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/InPlaceLevelSubstVisitor.java",
  "extension" : "java",
  "linesOfCode" : 116,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/subst/SubstVisitor.java",
  "extension" : "java",
  "linesOfCode" : 306,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 84,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/NameLetClausePattern.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/RecordLetClausePattern.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/TupleLetClausePattern.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/HaveClause.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/LetClausePattern.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/TypedLetClause.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/LetClause.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/let/TypedHaveClause.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/OfTypeExpression.java",
  "extension" : "java",
  "linesOfCode" : 79,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java",
  "extension" : "java",
  "linesOfCode" : 140,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/NewExpression.java",
  "extension" : "java",
  "linesOfCode" : 110,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ExpressionFactory.java",
  "extension" : "java",
  "linesOfCode" : 90,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
  "extension" : "java",
  "linesOfCode" : 46,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ErrorExpression.java",
  "extension" : "java",
  "linesOfCode" : 148,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/CaseExpression.java",
  "extension" : "java",
  "linesOfCode" : 86,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/Expression.java",
  "extension" : "java",
  "linesOfCode" : 632,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/VoidExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 297,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/RecreateExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 273,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FieldsCollector.java",
  "extension" : "java",
  "linesOfCode" : 136,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/NormalizingFindBindingVisitor.java",
  "extension" : "java",
  "linesOfCode" : 187,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FindBindingVisitor.java",
  "extension" : "java",
  "linesOfCode" : 157,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java",
  "extension" : "java",
  "linesOfCode" : 321,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java",
  "extension" : "java",
  "linesOfCode" : 1011,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/SizeExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 154,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FieldCallSubstVisitor.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java",
  "extension" : "java",
  "linesOfCode" : 458,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FindMissingBindingVisitor.java",
  "extension" : "java",
  "linesOfCode" : 165,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java",
  "extension" : "java",
  "linesOfCode" : 459,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/BaseExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FreeVariablesCollector.java",
  "extension" : "java",
  "linesOfCode" : 90,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/GoodThisParametersVisitor.java",
  "extension" : "java",
  "linesOfCode" : 170,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ExpressionTransformer.java",
  "extension" : "java",
  "linesOfCode" : 179,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java",
  "extension" : "java",
  "linesOfCode" : 2131,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor2.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ConCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 93,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ReferenceExpression.java",
  "extension" : "java",
  "linesOfCode" : 47,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/GoalErrorExpression.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ClassCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 509,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/FieldCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 108,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/DataCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 211,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ProjExpression.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/AbsExpression.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/BoxExpression.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
  "extension" : "java",
  "linesOfCode" : 79,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/type/TypeExpression.java",
  "extension" : "java",
  "linesOfCode" : 46,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/type/Type.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/AppExpression.java",
  "extension" : "java",
  "linesOfCode" : 84,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
  "extension" : "java",
  "linesOfCode" : 81,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/AtExpression.java",
  "extension" : "java",
  "linesOfCode" : 97,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ArrayExpression.java",
  "extension" : "java",
  "linesOfCode" : 170,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/LeveledDefCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/TypeDestructorExpression.java",
  "extension" : "java",
  "linesOfCode" : 72,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
  "extension" : "java",
  "linesOfCode" : 77,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
  "extension" : "java",
  "linesOfCode" : 72,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/InferenceReferenceExpression.java",
  "extension" : "java",
  "linesOfCode" : 126,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/BigIntegerExpression.java",
  "extension" : "java",
  "linesOfCode" : 94,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/LetExpression.java",
  "extension" : "java",
  "linesOfCode" : 114,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
  "extension" : "java",
  "linesOfCode" : 51,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
  "extension" : "java",
  "linesOfCode" : 179,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/ErrorWithConcreteExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/FunCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 131,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
  "extension" : "java",
  "linesOfCode" : 167,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/expr/SubstExpression.java",
  "extension" : "java",
  "linesOfCode" : 148,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/LeafElimTree.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/BranchElimTree.java",
  "extension" : "java",
  "linesOfCode" : 304,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/ElimTree.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/ElimBody.java",
  "extension" : "java",
  "linesOfCode" : 152,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/ElimClause.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/Body.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/IntervalElim.java",
  "extension" : "java",
  "linesOfCode" : 115,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/elimtree/BranchKey.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/constructor/TupleConstructor.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/constructor/SingleConstructor.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/constructor/IdpConstructor.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/constructor/ClassConstructor.java",
  "extension" : "java",
  "linesOfCode" : 69,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/constructor/ArrayConstructor.java",
  "extension" : "java",
  "linesOfCode" : 52,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/Pattern.java",
  "extension" : "java",
  "linesOfCode" : 137,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/EmptyPattern.java",
  "extension" : "java",
  "linesOfCode" : 98,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/ExpressionPattern.java",
  "extension" : "java",
  "linesOfCode" : 91,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/ConstructorExpressionPattern.java",
  "extension" : "java",
  "linesOfCode" : 444,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/ConstructorPattern.java",
  "extension" : "java",
  "linesOfCode" : 139,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/core/pattern/BindingPattern.java",
  "extension" : "java",
  "linesOfCode" : 114,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/QuitReplException.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/Repl.java",
  "extension" : "java",
  "linesOfCode" : 280,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/CodeParsingHandler.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/CommandHandler.java",
  "extension" : "java",
  "linesOfCode" : 108,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/ReplScope.java",
  "extension" : "java",
  "linesOfCode" : 73,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/ResetContextCommand.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/PrintCommand.java",
  "extension" : "java",
  "linesOfCode" : 36,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/PrettyPrintFlagCommand.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/ShowTypeCommand.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/AliasableCommand.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/NormalizeCommand.java",
  "extension" : "java",
  "linesOfCode" : 54,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/SizeCommand.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/ShowContextCommand.java",
  "extension" : "java",
  "linesOfCode" : 36,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/ReplCommand.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/ExpressionArgumentCommand.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/FileArgumentCommand.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/QuitCommand.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/action/DirectoryArgumentCommand.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/repl/ReplHandler.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/Library.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/classLoader/MultiClassLoader.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/classLoader/FileClassLoaderDelegate.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/classLoader/ZipClassLoaderDelegate.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/classLoader/ClassLoaderDelegate.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/SourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 247,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/LibraryDependency.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/LibraryManager.java",
  "extension" : "java",
  "linesOfCode" : 221,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/LibraryHeader.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/PersistableSourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 68,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/BaseLibrary.java",
  "extension" : "java",
  "linesOfCode" : 140,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/error/LibraryError.java",
  "extension" : "java",
  "linesOfCode" : 61,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/error/ModuleInSeveralLibrariesError.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/error/LibraryIOError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/error/MultipleLibraries.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/error/PartialModuleError.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/resolver/LibraryResolver.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/LibraryConfig.java",
  "extension" : "java",
  "linesOfCode" : 114,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/library/UnmodifiableSourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 57,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/result/TResult.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java",
  "extension" : "java",
  "linesOfCode" : 88,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/result/DefCallResult.java",
  "extension" : "java",
  "linesOfCode" : 176,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java",
  "extension" : "java",
  "linesOfCode" : 874,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/doubleChecker/CoreModuleChecker.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/doubleChecker/CoreException.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/doubleChecker/CoreDefinitionChecker.java",
  "extension" : "java",
  "linesOfCode" : 353,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/TypecheckingContext.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/VoidConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 327,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java",
  "extension" : "java",
  "linesOfCode" : 3749,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/SearchVisitor.java",
  "extension" : "java",
  "linesOfCode" : 332,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/FixLevelParameters.java",
  "extension" : "java",
  "linesOfCode" : 195,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/ReplaceVarConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 163,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/FindSubexpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 214,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/SyntacticDesugarVisitor.java",
  "extension" : "java",
  "linesOfCode" : 208,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/WhereVarsFixVisitor.java",
  "extension" : "java",
  "linesOfCode" : 330,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/FindDefCallVisitor.java",
  "extension" : "java",
  "linesOfCode" : 66,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/WhereVarsCollector.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java",
  "extension" : "java",
  "linesOfCode" : 504,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 3381,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/MinimizeLevelVisitor.java",
  "extension" : "java",
  "linesOfCode" : 155,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/CheckForUniversesVisitor.java",
  "extension" : "java",
  "linesOfCode" : 84,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/CollectDefCallsVisitor.java",
  "extension" : "java",
  "linesOfCode" : 78,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/FreeVariablesClassifier.java",
  "extension" : "java",
  "linesOfCode" : 262,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DumbTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 164,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/BaseDefinitionTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java",
  "extension" : "java",
  "linesOfCode" : 133,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/FindLevelParameters.java",
  "extension" : "java",
  "linesOfCode" : 69,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/BaseCallMatrix.java",
  "extension" : "java",
  "linesOfCode" : 218,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/RecursiveBehavior.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/DefinitionCallGraph.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/CollectCallVisitor.java",
  "extension" : "java",
  "linesOfCode" : 166,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java",
  "extension" : "java",
  "linesOfCode" : 238,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/CompositeCallMatrix.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/termination/CallMatrix.java",
  "extension" : "java",
  "linesOfCode" : 142,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/ArendExtensionProvider.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/covariance/ParametersCovarianceChecker.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/covariance/CovarianceChecker.java",
  "extension" : "java",
  "linesOfCode" : 132,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/covariance/UniverseKindChecker.java",
  "extension" : "java",
  "linesOfCode" : 65,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/covariance/RecursiveDataChecker.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/covariance/UniverseInParametersChecker.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/UseTypechecking.java",
  "extension" : "java",
  "linesOfCode" : 257,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/Util.java",
  "extension" : "java",
  "linesOfCode" : 144,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/ExpressionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 167,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/Condition.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/PatternTypechecking.java",
  "extension" : "java",
  "linesOfCode" : 1045,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/ExtElimClause.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/ConditionsChecking.java",
  "extension" : "java",
  "linesOfCode" : 355,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/ElimTypechecking.java",
  "extension" : "java",
  "linesOfCode" : 1068,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/patternmatching/SubstitutionData.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/LibraryArendExtensionProvider.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/TerminationCheckError.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ConstructorReferenceError.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SquashedDataError.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/DataTypeNotEmptyError.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CoerceClashError.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ElimSubstError.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/GoalDataHolder.java",
  "extension" : "java",
  "linesOfCode" : 84,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/HigherConstructorMatchingError.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SolveEquationError.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CertainTypecheckingError.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/TypeFromFieldError.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CoerceCycleError.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/FieldCycleError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/LevelMismatchError.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/IdpPatternError.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ImpossibleEliminationError.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SolveEquationsError.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ExpectedConstructorError.java",
  "extension" : "java",
  "linesOfCode" : 65,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/inference/RecursiveInstanceInferenceError.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/inference/FunctionArgInferenceError.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/inference/LambdaInferenceError.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CoreErrorWrapper.java",
  "extension" : "java",
  "linesOfCode" : 47,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/WrongReferable.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/IncorrectReferenceError.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/FieldDependencyError.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/NotPiType.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/PathEndpointMismatchError.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ConstantSolveLevelEquationError.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/PatternUnificationError.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/LocalErrorReporter.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SuperLevelsMismatchError.java",
  "extension" : "java",
  "linesOfCode" : 38,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ConditionsError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/NotEqualExpressionsError.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/FunctionWithoutBodyError.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ImplicitLambdaError.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/TruncatedDataError.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/FieldTypeParameterError.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/NotEnoughPatternsError.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/TypeComputationError.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SolveLevelEquationsError.java",
  "extension" : "java",
  "linesOfCode" : 102,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/IncorrectImplementationError.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/TypeMismatchWithSubexprError.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/ReferenceTypeError.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/HasErrors.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/GoalError.java",
  "extension" : "java",
  "linesOfCode" : 90,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/NonPositiveDataError.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/DataUniverseError.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CannotFindConstructorError.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/CycleError.java",
  "extension" : "java",
  "linesOfCode" : 97,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/error/ErrorReporterCounter.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/dfs/DFS.java",
  "extension" : "java",
  "linesOfCode" : 38,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/dfs/ClassDFS.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/dfs/FieldDFS.java",
  "extension" : "java",
  "linesOfCode" : 73,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/dfs/MapDFS.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/TypecheckedReporter.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/BooleanComputationRunner.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/CancellationIndicator.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/ComputationRunner.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/ThreadCancellationIndicator.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/DefinitionCancellationIndicator.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/BooleanCancellationIndicator.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/computation/UnstoppableCancellationIndicator.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/subexpr/SubExprError.java",
  "extension" : "java",
  "linesOfCode" : 77,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/subexpr/FindBinding.java",
  "extension" : "java",
  "linesOfCode" : 156,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubExprVisitor.java",
  "extension" : "java",
  "linesOfCode" : 432,
  "components" : [ "primary::base" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubDefVisitor.java",
  "extension" : "java",
  "linesOfCode" : 140,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/provider/EmptyConcreteProvider.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/provider/ConcreteProvider.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/LevelContext.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/ImplicitArgsInference.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java",
  "extension" : "java",
  "linesOfCode" : 853,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsWrapper.java",
  "extension" : "java",
  "linesOfCode" : 80,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/Equations.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/TwoStageEquations.java",
  "extension" : "java",
  "linesOfCode" : 823,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/DummyEquations.java",
  "extension" : "java",
  "linesOfCode" : 76,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/InferenceVariableListener.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/Equation.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsSolver.java",
  "extension" : "java",
  "linesOfCode" : 342,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquation.java",
  "extension" : "java",
  "linesOfCode" : 83,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquations.java",
  "extension" : "java",
  "linesOfCode" : 75,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceData.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/pool/InstancePool.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceHoleExpression.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/pool/LocalInstancePool.java",
  "extension" : "java",
  "linesOfCode" : 120,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/pool/GlobalInstancePool.java",
  "extension" : "java",
  "linesOfCode" : 216,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/provider/InstanceProviderSet.java",
  "extension" : "java",
  "linesOfCode" : 135,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/provider/InstanceProvider.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/provider/SimpleInstanceProvider.java",
  "extension" : "java",
  "linesOfCode" : 48,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/instance/provider/EmptyInstanceProvider.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/PartialComparator.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/dependency/DummyDependencyListener.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/dependency/MetaDependencyCollector.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/dependency/DependencyListener.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/dependency/DependencyCollector.java",
  "extension" : "java",
  "linesOfCode" : 94,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/Ordering.java",
  "extension" : "java",
  "linesOfCode" : 298,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/TarjanSCC.java",
  "extension" : "java",
  "linesOfCode" : 57,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/DefinitionComparator.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
  "extension" : "java",
  "linesOfCode" : 147,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/TypecheckingOrderingListener.java",
  "extension" : "java",
  "linesOfCode" : 521,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/OrderingListener.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/order/MapTarjanSCC.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/typechecking/TypecheckerState.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/AbstractedExpressionImpl.java",
  "extension" : "java",
  "linesOfCode" : 89,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/VariableRenamerFactoryImpl.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java",
  "extension" : "java",
  "linesOfCode" : 803,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/DefinitionRequester.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ArendDependencyProviderImpl.java",
  "extension" : "java",
  "linesOfCode" : 76,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/UncheckedExpressionImpl.java",
  "extension" : "java",
  "linesOfCode" : 102,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/DefinitionContributorImpl.java",
  "extension" : "java",
  "linesOfCode" : 106,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/Disableable.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/CoreParameterBuilderImpl.java",
  "extension" : "java",
  "linesOfCode" : 72,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/AbstractedDependentLinkType.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/SerializableKeyRegistryImpl.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/userData/UserDataHolderImpl.java",
  "extension" : "java",
  "linesOfCode" : 49,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/BaseContextDataImpl.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/definitionRenamer/PatternContextDataImpl.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/definitionRenamer/CachingDefinitionRenamer.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/definitionRenamer/ConflictDefinitionRenamer.java",
  "extension" : "java",
  "linesOfCode" : 81,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/definitionRenamer/ScopeDefinitionRenamer.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/DefinitionProviderImpl.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ContextDataImpl.java",
  "extension" : "java",
  "linesOfCode" : 75,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ConcreteAppBuilderImpl.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ui/DelegateQuery.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ui/SimpleQuery.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/extImpl/ui/BaseSession.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/error/CountingErrorReporter.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/error/DummyErrorReporter.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/error/ParsingError.java",
  "extension" : "java",
  "linesOfCode" : 51,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/error/SourcePosition.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/BinarySource.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/ZipFileBinarySource.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/SourceLoader.java",
  "extension" : "java",
  "linesOfCode" : 128,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/StreamBinarySource.java",
  "extension" : "java",
  "linesOfCode" : 149,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/PersistableBinarySource.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/Source.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/error/PersistingError.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/error/LocationError.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/FileBinarySource.java",
  "extension" : "java",
  "linesOfCode" : 57,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/source/GZIPStreamBinarySource.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/ext/prettifier/MergingExpressionPrettifier.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/ModuleLocation.java",
  "extension" : "java",
  "linesOfCode" : 52,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/CallTargetProvider.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/CallTargetIndexProvider.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/ExpressionSerialization.java",
  "extension" : "java",
  "linesOfCode" : 648,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/SimpleCallTargetIndexProvider.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java",
  "extension" : "java",
  "linesOfCode" : 461,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/ModuleSerialization.java",
  "extension" : "java",
  "linesOfCode" : 117,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/SimpleCallTargetProvider.java",
  "extension" : "java",
  "linesOfCode" : 55,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/ExpressionDeserialization.java",
  "extension" : "java",
  "linesOfCode" : 506,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java",
  "extension" : "java",
  "linesOfCode" : 378,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/serialization/DefinitionDeserialization.java",
  "extension" : "java",
  "linesOfCode" : 486,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/error/ExceptionError.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/error/ModuleNotFoundError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/error/DeserializationError.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/ModuleRegistry.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/scopeprovider/EmptyModuleScopeProvider.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/scopeprovider/ModuleScopeProvider.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/scopeprovider/CachingModuleScopeProvider.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/module/scopeprovider/SimpleModuleScopeProvider.java",
  "extension" : "java",
  "linesOfCode" : 47,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/GraphClosure.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/Arend.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/Decision.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/ArendExpr.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/StringEscapeUtils.java",
  "extension" : "java",
  "linesOfCode" : 181,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/ComputationInterruptedException.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/FileUtils.java",
  "extension" : "java",
  "linesOfCode" : 134,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/FullName.java",
  "extension" : "java",
  "linesOfCode" : 36,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/SingletonList.java",
  "extension" : "java",
  "linesOfCode" : 118,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/StringFormat.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/Version.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/Range.java",
  "extension" : "java",
  "linesOfCode" : 91,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/util/VersionRange.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java",
  "extension" : "java",
  "linesOfCode" : 963,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/resolving/visitor/ExpressionResolveNameVisitor.java",
  "extension" : "java",
  "linesOfCode" : 953,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/resolving/visitor/TypeClassReferenceExtractVisitor.java",
  "extension" : "java",
  "linesOfCode" : 140,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/resolving/ResolverListener.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/renamer/StringRenamer.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/renamer/Renamer.java",
  "extension" : "java",
  "linesOfCode" : 140,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/renamer/MapReferableRenamer.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/renamer/ReferableRenamer.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java",
  "extension" : "java",
  "linesOfCode" : 186,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/binOp/BinOpParser.java",
  "extension" : "java",
  "linesOfCode" : 123,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/binOp/BinOpEngine.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/binOp/PatternBinOpEngine.java",
  "extension" : "java",
  "linesOfCode" : 73,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/binOp/ExpressionBinOpEngine.java",
  "extension" : "java",
  "linesOfCode" : 51,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteResolvedClassReferable.java",
  "extension" : "java",
  "linesOfCode" : 89,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ParameterReferable.java",
  "extension" : "java",
  "linesOfCode" : 47,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteLocatedReferable.java",
  "extension" : "java",
  "linesOfCode" : 61,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TypedLocatedReferable.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TypedReferable.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java",
  "extension" : "java",
  "linesOfCode" : 82,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/DataLevelReferable.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/InternalConcreteLocatedReferable.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/Referable.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/AbstractedReferable.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/CoreReferable.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ClassReferableImpl.java",
  "extension" : "java",
  "linesOfCode" : 48,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/FakeLocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/Reference.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/FullModuleReferable.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TCFieldReferable.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteClassFieldReferable.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/HiddenLocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java",
  "extension" : "java",
  "linesOfCode" : 81,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ErrorReference.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/Parameter.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TCLevelReferable.java",
  "extension" : "java",
  "linesOfCode" : 55,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/GeneratedLocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LevelReferable.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LevelDefinition.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/MetaReferable.java",
  "extension" : "java",
  "linesOfCode" : 122,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ClassReferable.java",
  "extension" : "java",
  "linesOfCode" : 139,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/GlobalReferable.java",
  "extension" : "java",
  "linesOfCode" : 63,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TypedRedirectingReferable.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java",
  "extension" : "java",
  "linesOfCode" : 273,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteClassReferable.java",
  "extension" : "java",
  "linesOfCode" : 69,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/FieldReferable.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TCDefReferable.java",
  "extension" : "java",
  "linesOfCode" : 77,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/UnresolvedReference.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/converter/IdReferableConverter.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/converter/ReferableConverter.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/ModuleReferable.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/RedirectingReferableImpl.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/SimpleInternalReferable.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/TCReferable.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/RedirectingReferable.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/DataLocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/LocatedReferable.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/reference/AliasReferable.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/EmptyScope.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ScopeFactory.java",
  "extension" : "java",
  "linesOfCode" : 312,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ConvertingScope.java",
  "extension" : "java",
  "linesOfCode" : 81,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/CachingScope.java",
  "extension" : "java",
  "linesOfCode" : 87,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/DelegateScope.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ImportedScope.java",
  "extension" : "java",
  "linesOfCode" : 143,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/local/LocalListScope.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/local/LetScope.java",
  "extension" : "java",
  "linesOfCode" : 93,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/local/ElimScope.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/local/TelescopeScope.java",
  "extension" : "java",
  "linesOfCode" : 70,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/local/PatternScope.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/MergeScope.java",
  "extension" : "java",
  "linesOfCode" : 100,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ListScope.java",
  "extension" : "java",
  "linesOfCode" : 102,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/SimpleScope.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/SingletonScope.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/LexicalScope.java",
  "extension" : "java",
  "linesOfCode" : 304,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/PrivateFilteredScope.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/LevelLexicalScope.java",
  "extension" : "java",
  "linesOfCode" : 1,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/LazyScope.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/NamespaceCommandNamespace.java",
  "extension" : "java",
  "linesOfCode" : 146,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java",
  "extension" : "java",
  "linesOfCode" : 115,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/ConstructorFilteredScope.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/scope/Scope.java",
  "extension" : "java",
  "linesOfCode" : 98,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/DuplicateNameError.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/NotInScopeError.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/ExistingOpenedNameError.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/ReferenceError.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/DuplicateOpenedNameError.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/naming/error/PrecedenceError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/prelude/PreludeResourceSource.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/prelude/PreludeLibrary.java",
  "extension" : "java",
  "linesOfCode" : 85,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/prelude/Prelude.java",
  "extension" : "java",
  "linesOfCode" : 439,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/prelude/PreludeTypecheckingLibrary.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/prelude/PreludeResourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 51,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/NameRenaming.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/ChildNamespaceCommand.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/AbstractExpressionError.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/AbstractExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/ConcreteBuilder.java",
  "extension" : "java",
  "linesOfCode" : 742,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/AbstractLevelExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/IncompleteExpressionError.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/AbstractParameterPattern.java",
  "extension" : "java",
  "linesOfCode" : 66,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/BaseAbstractExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 89,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/AbstractDefinitionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/abs/Abstract.java",
  "extension" : "java",
  "linesOfCode" : 246,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteLevelExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/FindLevelVariablesVisitor.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
  "extension" : "java",
  "linesOfCode" : 2482,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java",
  "extension" : "java",
  "linesOfCode" : 615,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 275,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteDefinitionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/SubstConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 310,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/BaseConcreteExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 295,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ReplaceDataVisitor.java",
  "extension" : "java",
  "linesOfCode" : 329,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteReferableDefinitionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/FreeReferablesVisitor.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/LocalFreeReferableVisitor.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteResolvableDefinitionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/ConcreteExpressionFactory.java",
  "extension" : "java",
  "linesOfCode" : 207,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/concrete/DefinableMetaDefinition.java",
  "extension" : "java",
  "linesOfCode" : 154,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/Fixity.java",
  "extension" : "java",
  "linesOfCode" : 2,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/Statement.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/ClassGroup.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/ChildGroup.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/DataGroup.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/EmptyGroup.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/AccessModifier.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/FileGroup.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/StaticGroup.java",
  "extension" : "java",
  "linesOfCode" : 46,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/group/Group.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/NamespaceCommand.java",
  "extension" : "java",
  "linesOfCode" : 70,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/LocalExpressionPrettifier.java",
  "extension" : "java",
  "linesOfCode" : 99,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintWithSubexprVisitor.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/ToAbstractWithSubexprVisitor.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/ArgumentMappingIterator.java",
  "extension" : "java",
  "linesOfCode" : 83,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrinterConfigWithRenamer.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java",
  "extension" : "java",
  "linesOfCode" : 379,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/FreeVariableCollectorConcrete.java",
  "extension" : "java",
  "linesOfCode" : 55,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
  "extension" : "java",
  "linesOfCode" : 1500,
  "components" : [ "primary::base" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/BiConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 289,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/VariableTracker.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/CollectFreeVariablesVisitor.java",
  "extension" : "java",
  "linesOfCode" : 130,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/DefinitionRenamerConcreteVisitor.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/TermWithSubtermDoc.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java",
  "extension" : "java",
  "linesOfCode" : 1078,
  "components" : [ "primary::base" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "base/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 26,
  "components" : [ "primary::base" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/ReplConfig.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java",
  "extension" : "java",
  "linesOfCode" : 61,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java",
  "extension" : "java",
  "linesOfCode" : 108,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/SpecialCommandCompleter.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java",
  "extension" : "java",
  "linesOfCode" : 145,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/Completers.java",
  "extension" : "java",
  "linesOfCode" : 163,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/ListLoadedModulesAction.java",
  "extension" : "java",
  "linesOfCode" : 88,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java",
  "extension" : "java",
  "linesOfCode" : 286,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/ConsoleMain.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/parser/ParserError.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/parser/ParseException.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/parser/Position.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java",
  "extension" : "java",
  "linesOfCode" : 1720,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/BaseCliFrontend.java",
  "extension" : "java",
  "linesOfCode" : 671,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 90,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java",
  "extension" : "java",
  "linesOfCode" : 154,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/library/FileLoadableHeaderLibrary.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java",
  "extension" : "java",
  "linesOfCode" : 38,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/source/StreamRawSource.java",
  "extension" : "java",
  "linesOfCode" : 74,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/source/FileRawSource.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java",
  "extension" : "java",
  "linesOfCode" : 115,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/FileLibraryResolver.java",
  "extension" : "java",
  "linesOfCode" : 124,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/PositionComparator.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/src/main/java/org/arend/frontend/ui/CliSession.java",
  "extension" : "java",
  "linesOfCode" : 181,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "cli/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 40,
  "components" : [ "primary::cli" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "buildSrc/src/main/groovy/org/arend/gradle/GenerateVersionTask.groovy",
  "extension" : "groovy",
  "linesOfCode" : 31,
  "components" : [ "primary::buildSrc" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "buildSrc/src/main/groovy/org/arend/gradle/BuildPreludeTask.groovy",
  "extension" : "groovy",
  "linesOfCode" : 21,
  "components" : [ "primary::buildSrc" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "buildSrc/src/main/antlr/org/arend/frontend/parser/Arend.g4",
  "extension" : "g4",
  "linesOfCode" : 279,
  "components" : [ "primary::buildSrc" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "buildSrc/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 19,
  "components" : [ "primary::buildSrc" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "proto/src/main/proto/Definition.proto",
  "extension" : "proto",
  "linesOfCode" : 234,
  "components" : [ "primary::proto" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "proto/src/main/proto/Expression.proto",
  "extension" : "proto",
  "linesOfCode" : 314,
  "components" : [ "primary::proto" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "proto/src/main/proto/Level.proto",
  "extension" : "proto",
  "linesOfCode" : 18,
  "components" : [ "primary::proto" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "proto/src/main/proto/Module.proto",
  "extension" : "proto",
  "linesOfCode" : 27,
  "components" : [ "primary::proto" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "proto/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 18,
  "components" : [ "primary::proto" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreClassDefinition.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreDataDefinition.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreClassField.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreFunctionDefinition.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreDefinition.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/definition/CoreConstructor.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/context/CoreParameter.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/context/CoreBinding.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/context/CoreInferenceVariable.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/context/CoreEvaluatingBinding.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/context/CoreParameterBuilder.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CorePattern.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CoreBody.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CoreElimBody.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CoreElimClause.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CoreExpressionPattern.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/body/CoreIntervalElim.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreFieldCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreErrorExpression.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CorePiExpression.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreTupleExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreAbsExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/BaseCoreExpressionVisitor.java",
  "extension" : "java",
  "linesOfCode" : 113,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreExpression.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreUniverseExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/UncheckedExpression.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreReferenceExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreArrayExpression.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreAtExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreStringExpression.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/AbstractedExpression.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreCaseExpression.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreIntegerExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreSigmaExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreLamExpression.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CorePEvalExpression.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreLetExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreDefCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreTypeConstructorExpression.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreClassCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CorePathExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreBoxExpression.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreTypeDestructorExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreInferenceReferenceExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreDataCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreFunCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreAppExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreConCallExpression.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreNewExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/expr/CoreProjExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/level/LevelSubstitution.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/level/CoreLevels.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/level/CoreSort.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/level/CoreLevel.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/ops/SubstitutionPair.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/ops/CMP.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/ops/NormalizationMode.java",
  "extension" : "java",
  "linesOfCode" : 2,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/core/ops/ExpressionMapper.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettifier/ExpressionPrettifier.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/DefinitionProvider.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ArendExtension.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/dependency/Dependency.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/dependency/ArendDependencyProvider.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/LiteralTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfigImpl.java",
  "extension" : "java",
  "linesOfCode" : 36,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfig.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/DefinitionRenamer.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/PrettyPrintable.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterFlag.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/TermDoc.java",
  "extension" : "java",
  "linesOfCode" : 48,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/PPDoc.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/TermTextDoc.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/DocFactory.java",
  "extension" : "java",
  "linesOfCode" : 156,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/VListDoc.java",
  "extension" : "java",
  "linesOfCode" : 80,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/HListDoc.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/ReferenceDoc.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/DocStringBuilder.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/LineDoc.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/Doc.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/LineDocVisitor.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/CachingDoc.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/DocVisitor.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/TextDoc.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/HangDoc.java",
  "extension" : "java",
  "linesOfCode" : 96,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/serialization/SerializableKey.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/serialization/SerializableKeyRegistry.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/serialization/ArendDeserializer.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/serialization/ArendSerializer.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/serialization/DeserializationException.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/DefaultArendExtension.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteLevel.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteSourceNode.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteClassElement.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructorClause.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/FunctionKind.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructor.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/ClassFieldKind.java",
  "extension" : "java",
  "linesOfCode" : 2,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/ConcreteLevelParameters.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/definition/ConcreteDefinition.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteClause.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteParameter.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteFunctionBody.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteFactory.java",
  "extension" : "java",
  "linesOfCode" : 112,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteAppBuilder.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseExpression.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteTypedExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteLetExpression.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteLamExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteExpression.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteNumberExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteReferenceExpression.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcretePiExpression.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteThisExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteTupleExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteClassExtExpression.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteArgument.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteClauses.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseArgument.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteIncompleteExpression.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteGoalExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclause.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteAppExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteHoleExpression.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteUniverseExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteSigmaExpression.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclauses.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/expr/ConcreteStringExpression.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/ConcreteLetClause.java",
  "extension" : "java",
  "linesOfCode" : 3,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/pattern/ConcretePattern.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/pattern/ConcreteReferencePattern.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/pattern/ConcreteConstructorPattern.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/concrete/pattern/ConcreteNumberPattern.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/DefinitionListener.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/ListDefinitionListener.java",
  "extension" : "java",
  "linesOfCode" : 55,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/TypedExpression.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/DefermentChecker.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/MetaDefinition.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/LevelProver.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/BaseMetaDefinition.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/BaseContextData.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/ContextData.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/PatternContextData.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/ExpressionTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 80,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/ContextDataChecker.java",
  "extension" : "java",
  "linesOfCode" : 115,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/MetaResolver.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/GoalSolver.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/InteractiveGoalSolver.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/typechecking/DeferredMetaDefinition.java",
  "extension" : "java",
  "linesOfCode" : 62,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/reference/DataContainer.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/reference/ArendRef.java",
  "extension" : "java",
  "linesOfCode" : 14,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/reference/Precedence.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/reference/MetaRef.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/reference/ExpressionResolver.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/RedundantCoclauseError.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/ErrorReporter.java",
  "extension" : "java",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/IgnoredLevelsError.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/FieldsImplementationError.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/MissingClausesError.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/TypecheckingError.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/RedundantClauseError.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/ArgInferenceError.java",
  "extension" : "java",
  "linesOfCode" : 50,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/NameResolverError.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/SourceInfo.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/MetaException.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/LocalError.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/InstanceInferenceError.java",
  "extension" : "java",
  "linesOfCode" : 52,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/ListErrorReporter.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/quickFix/RemoveErrorQuickFix.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/quickFix/ErrorQuickFix.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/quickFix/LazyErrorQuickFix.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/ArgumentExplicitnessError.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/MissingArgumentsError.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/SourceInfoReference.java",
  "extension" : "java",
  "linesOfCode" : 53,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/TypeMismatchError.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/error/GeneralError.java",
  "extension" : "java",
  "linesOfCode" : 101,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/userData/UserDataHolder.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/userData/Key.java",
  "extension" : "java",
  "linesOfCode" : 17,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/variable/VariableRenamerFactory.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/variable/VariableImpl.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/variable/Variable.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/variable/VariableRenamer.java",
  "extension" : "java",
  "linesOfCode" : 6,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/instance/InstanceSearchParameters.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/instance/SubclassSearchParameters.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ArendPrelude.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/module/ModulePath.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/module/LongName.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/DefinitionContributor.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/util/Wrapper.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/util/StringUtils.java",
  "extension" : "java",
  "linesOfCode" : 20,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/util/Pair.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/FreeBindingsModifier.java",
  "extension" : "java",
  "linesOfCode" : 70,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ui/ArendConsole.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ui/ArendQuery.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ui/ArendSession.java",
  "extension" : "java",
  "linesOfCode" : 16,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/src/main/java/org/arend/ext/ui/ArendUI.java",
  "extension" : "java",
  "linesOfCode" : 9,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "api/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 4,
  "components" : [ "primary::api" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 78,
  "components" : [ "primary::ROOT" ],
  "concerns" : [ "::Unclassified" ]
} ]