Aleksei Luchinin

``` java.lang.ClassCastException: class org.arend.term.concrete.Concrete$AppExpression cannot be cast to class org.arend.term.concrete.Concrete$LamExpression (org.arend.term.concrete.Concrete$AppExpression and org.arend.term.concrete.Concrete$LamExpression are in unnamed module of loader com.intellij.ide.plugins.cl.PluginClassLoader @33326218) at org.arend.typechecking.visitor.DefinitionTypechecker.typecheckClass(DefinitionTypechecker.java:2971) at org.arend.typechecking.visitor.DefinitionTypechecker.visitClass(DefinitionTypechecker.java:232) at org.arend.typechecking.visitor.DefinitionTypechecker.visitClass(DefinitionTypechecker.java:64) at org.arend.term.concrete.Concrete$ClassDefinition.accept(Concrete.java:2160) at...

``` java.util.ConcurrentModificationException at java.base/java.util.HashMap.computeIfAbsent(HashMap.java:1221) at org.arend.extImpl.definitionRenamer.CachingDefinitionRenamer.renameDefinition(CachingDefinitionRenamer.java:21) at org.arend.term.prettyprint.CollectFreeVariablesVisitor.visitDefCall(CollectFreeVariablesVisitor.java:130) at org.arend.term.prettyprint.CollectFreeVariablesVisitor.visitDefCall(CollectFreeVariablesVisitor.java:18) at org.arend.core.expr.visitor.VoidExpressionVisitor.visitClassCall(VoidExpressionVisitor.java:65) at org.arend.core.expr.visitor.VoidExpressionVisitor.visitClassCall(VoidExpressionVisitor.java:13) at org.arend.core.expr.ClassCallExpression.accept(ClassCallExpression.java:515) at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:110) at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:93) at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:85) at org.arend.core.expr.Expression.prettyPrint(Expression.java:104) at org.arend.ext.prettyprinting.doc.TermDoc.getString(TermDoc.java:37) at org.arend.ext.prettyprinting.doc.CachingDoc.getText(CachingDoc.java:17) at org.arend.ext.prettyprinting.doc.CachingDoc.isSingleLine(CachingDoc.java:48)...