ISE in CorrespondedSubExprVisitor

[valis]

java.lang.IllegalStateException
	at org.arend.core.context.param.EmptyDependentLink.getType(EmptyDependentLink.java:73)
	at org.arend.core.context.param.DependentLink.getTypeExpr(DependentLink.java:47)
	at org.arend.typechecking.subexpr.CorrespondedSubExprVisitor.visitParameter(CorrespondedSubExprVisitor.java:316)
	at org.arend.typechecking.subexpr.CorrespondedSubExprVisitor.visitSigmaParameters(CorrespondedSubExprVisitor.java:341)
	at org.arend.typechecking.subexpr.CorrespondedSubDefVisitor.visitFunction(CorrespondedSubDefVisitor.java:74)
	at org.arend.typechecking.subexpr.CorrespondedSubDefVisitor.visitFunction(CorrespondedSubDefVisitor.java:21)
	at org.arend.term.concrete.Concrete$BaseFunctionDefinition.accept(Concrete.java:2128)
	at org.arend.refactoring.ArendSubExprUtilsKt.correspondedSubExpr(ArendSubExprUtils.kt:163)
	at org.arend.refactoring.ArendSubExprUtilsKt.tryCorrespondedSubExpr(ArendSubExprUtils.kt:175)
	at org.arend.intention.SplitAtomPatternIntention.getElementType(SplitAtomPatternIntention.kt:133)
	at org.arend.intention.SplitAtomPatternIntention.isApplicableTo(SplitAtomPatternIntention.kt:51)
	at org.arend.intention.SelfTargetingIntention.getTarget(SelfTargetingIntention.kt:62)
	at org.arend.intention.SelfTargetingIntention.isAvailable(SelfTargetingIntention.kt:78)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler.availableFor(ShowIntentionActionsHandler.java:157)
	at com.intellij.codeInsight.daemon.impl.ShowIntentionsPass.lambda$getActionsToShow$1(ShowIntentionsPass.java:322)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler.chooseBetweenHostAndInjected(ShowIntentionActionsHandler.java:190)
	at com.intellij.codeInsight.daemon.impl.ShowIntentionsPass.getActionsToShow(ShowIntentionsPass.java:321)
	at com.intellij.codeInsight.daemon.impl.ShowIntentionsPass.doCollectInformation(ShowIntentionsPass.java:226)
	at com.intellij.codeHighlighting.TextEditorHighlightingPass.collectInformation(TextEditorHighlightingPass.java:54)
	at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.lambda$doRun$1(PassExecutorService.java:399)
	at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1110)
	at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.lambda$doRun$2(PassExecutorService.java:392)
	at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:629)
	at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:581)
	at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:60)
	at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.doRun(PassExecutorService.java:391)
	at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.lambda$run$0(PassExecutorService.java:367)
	at com.intellij.openapi.application.impl.ReadMostlyRWLock.executeByImpatientReader(ReadMostlyRWLock.java:170)
	at com.intellij.openapi.application.impl.ApplicationImpl.executeByImpatientReader(ApplicationImpl.java:182)
	at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.run(PassExecutorService.java:365)
	at com.intellij.concurrency.JobLauncherImpl$VoidForkJoinTask$1.exec(JobLauncherImpl.java:181)
	at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:290)
	at java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1020)
	at java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1656)
	at java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1594)
	at java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:177)