search

JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
689 stars 33 forks source link

StackOverflowError checking the stdlib #225

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago 
--- Running tests in arend-lib ---
Exception in thread "main" java.lang.StackOverflowError
        at org.arend.core.definition.Constructor.getTypeWithParams(Constructor.java:184)
        at org.arend.core.definition.Constructor.getTypeWithParams(Constructor.java:28)
        at org.arend.typechecking.result.DefCallResult.makeTResult(DefCallResult.java:39)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typeCheckDefCall(CheckTypeVisitor.java:1042)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1078)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:221)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
        at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1930)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
        at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
        at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
        at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1890)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1913)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
        at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
        at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
        at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
        at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
ice1000 commented 4 years ago

Here's an reproduction, with complete logs including gradle command:

> Task :cliCheck
[INFO] Loading library prelude
[INFO] Loaded library prelude (298ms)
[INFO] Loading library arend-lib
[INFO] Loaded library arend-lib (6198ms)

--- Typechecking arend-lib ---
[ ] Algebra.Domain.Bezout
[ ] Algebra.Domain
[ ] Algebra.Group
[ ] Algebra.Monoid
[ ] Algebra.Pointed
[ ] Paths
[ ] Set
[ ] Data.Bool
[ ] Logic
[ ] HLevel
[ ] Equiv
[ ] Equiv.Fiber
[ ] Equiv.Path
[ ] Equiv.HalfAdjoint
[ ] Equiv.Univalence
[ ] Function
[ ] Order.PartialOrder
[ ] Category
[ ] Equiv.Sigma
[ ] Relation.Equivalence
[ ] Arith.Nat
[ ] Algebra.Ordered
[ ] Algebra.Field
[ ] Algebra.Ring
[ ] Algebra.Semiring
[ ] Algebra.Ring.Local
[ ] Order.LinearOrder
[ ] Order.Lattice
[ ] Order.StrictOrder
[ ] Data.Or
[ ] Algebra.Monoid.Category
[ ] Algebra.Pointed.Category
[ ] Set.Category
[ ] Algebra.Monoid.Solver
[ ] Data.List
[ ] Algebra.Domain.GCD
[ ] Algebra.Monoid.GCD
[ ] Algebra.Group.Aut
[ ] Algebra.Group.Category
[ ] Category.Sub
[ ] Algebra.Monoid.Prime
[ ] Algebra.Ring.Category
[ ] Algebra.Ring.Localization.Field
[ ] Algebra.Ring.Localization
[ ] Arith.Int
[ ] Arith.Rat
[ ] Data.SeqColimit
[ ] Data.Sigma
[ ] Homotopy.Connected
[ ] Homotopy.Pushout
[ ] Homotopy.Pointed
[ ] Homotopy.Space
[ ] Homotopy.Sphere
[ ] Homotopy.Suspension
[ ] Homotopy.Square
[ ] Homotopy.Cube
[ ] Homotopy.Hopf
[ ] Homotopy.Join
[ ] Homotopy.Sphere.Circle
[ ] Homotopy.Image
[ ] Homotopy.K1
[ ] Homotopy.Localization.Accessible
[ ] Homotopy.Localization.Modality
[ ] Homotopy.Localization.Universe
[ ] Homotopy.Localization.BlakersMassey
[ ] Homotopy.Localization.Connected
[ ] Homotopy.Localization.Equiv
[ ] Homotopy.Localization.Separated
[ ] Homotopy.Loop
[ ] Homotopy.Torus
[ ] Homotopy.Truncation
[ ] Logic.Classical
[ ] Set.Fin
[ ] Set.Hedberg
--- Done (7829ms) ---

--- Checking arend-lib ---
--- Done (11.5s) ---
[INFO] Loading tests for arend-lib
[INFO] Loaded tests for arend-lib (26ms)

--- Running tests in arend-lib ---
Exception in thread "main" java.lang.StackOverflowError
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:221)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1427)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:1517)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitLam(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$LamExpression.accept(Concrete.java:770)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.inferArg(StdImplicitArgsInference.java:175)
    at org.arend.typechecking.implicitargs.StdImplicitArgsInference.infer(StdImplicitArgsInference.java:358)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:1938)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitApp(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$AppExpression.accept(Concrete.java:327)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:346)
    at org.arend.typechecking.visitor.CheckTypeVisitor.typecheck(CheckTypeVisitor.java:84)
    at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)
    at org.arend.typechecking.visitor.CheckTypeVisitor.invokeMeta(CheckTypeVisitor.java:1898)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkMeta(CheckTypeVisitor.java:1921)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:1084)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitReference(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$ReferenceExpression.accept(Concrete.java:439)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClause(PatternTypechecking.java:186)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:126)
    at org.arend.typechecking.patternmatching.PatternTypechecking.typecheckClauses(PatternTypechecking.java:119)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:2335)
    at org.arend.typechecking.visitor.CheckTypeVisitor.visitCase(CheckTypeVisitor.java:84)
    at org.arend.term.concrete.Concrete$CaseExpression.accept(Concrete.java:1122)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkExpr(CheckTypeVisitor.java:374)
    at org.arend.typechecking.visitor.CheckTypeVisitor.checkArgument(CheckTypeVisitor.java:601)

> Task :cliCheck FAILED

Execution failed for task ':cliCheck'.
> Process 'command 'C:\Java\jdk-13\bin\java.exe'' finished with non-zero exit value 1

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.
ice1000 commented 4 years ago

I suspect that it's this line:

at org.arend.lib.level.StdLevelProver$1.invokeMeta(StdLevelProver.java:150)

doing the wrong thing.

ice1000 commented 4 years ago

Turns out it's due to my installation issue