TestTermLabelManager

all > de.uka.ilkd.key.logic > TestTermLabelManager

tests

failures

ignored

20m49.56s

duration

successful

Failed tests
Tests
Standard error

Failed tests

testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific()

org.opentest4j.AssertionFailedError: Unexpected exception thrown: de.uka.ilkd.key.proof.io.ProblemLoaderException: Java heap space
	at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:152)
	at app//org.junit.jupiter.api.AssertDoesNotThrow.createAssertionFailedError(AssertDoesNotThrow.java:84)
	at app//org.junit.jupiter.api.AssertDoesNotThrow.assertDoesNotThrow(AssertDoesNotThrow.java:75)
	at app//org.junit.jupiter.api.AssertDoesNotThrow.assertDoesNotThrow(AssertDoesNotThrow.java:58)
	at app//org.junit.jupiter.api.Assertions.assertDoesNotThrow(Assertions.java:3196)
	at app//de.uka.ilkd.key.logic.TestTermLabelManager.testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific(TestTermLabelManager.java:307)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@17.0.7/java.lang.reflect.Method.invoke(Method.java:568)
	at app//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
	at app//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at java.base@17.0.7/java.util.ArrayList.forEach(ArrayList.java:1511)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at java.base@17.0.7/java.util.ArrayList.forEach(ArrayList.java:1511)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
	at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
	at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52)
	at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
	at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
	at app//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:110)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:90)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:85)
	at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@17.0.7/java.lang.reflect.Method.invoke(Method.java:568)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
	at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33)
	at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94)
	at jdk.proxy2/jdk.proxy2.$Proxy5.stop(Unknown Source)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60)
	at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65)
	at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69)
	at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
Caused by: Java heap space (file: src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java; caused by: java.lang.OutOfMemoryError: Java heap space)
	at app//de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:282)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:251)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:225)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:185)
	at app//de.uka.ilkd.key.logic.TestTermLabelManager.createTestServices(TestTermLabelManager.java:584)
	at app//de.uka.ilkd.key.logic.TestTermLabelManager.lambda$testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific$3(TestTermLabelManager.java:308)
	at app//org.junit.jupiter.api.AssertDoesNotThrow.assertDoesNotThrow(AssertDoesNotThrow.java:71)
	... 87 more
Caused by: java.lang.OutOfMemoryError: Java heap space

testInstantiateLabels_directChildPolicies_allRules()

 (file: src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java; caused by: java.lang.OutOfMemoryError)
	at app//de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:282)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:251)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:225)
	at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:185)
	at app//de.uka.ilkd.key.logic.TestTermLabelManager.createTestServices(TestTermLabelManager.java:584)
	at app//de.uka.ilkd.key.logic.TestTermLabelManager.testInstantiateLabels_directChildPolicies_allRules(TestTermLabelManager.java:344)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@17.0.7/java.lang.reflect.Method.invoke(Method.java:568)
	at app//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
	at app//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
	at app//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
	at app//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at java.base@17.0.7/java.util.ArrayList.forEach(ArrayList.java:1511)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at java.base@17.0.7/java.util.ArrayList.forEach(ArrayList.java:1511)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
	at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
	at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
	at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
	at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
	at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67)
	at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52)
	at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
	at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
	at app//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:110)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:90)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:85)
	at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@17.0.7/java.lang.reflect.Method.invoke(Method.java:568)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
	at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33)
	at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94)
	at jdk.proxy2/jdk.proxy2.$Proxy5.stop(Unknown Source)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60)
	at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65)
	at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69)
	at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
Caused by: java.lang.OutOfMemoryError
	at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
	at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:77)
	at java.base/jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
	at java.base/java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:499)
	at java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:480)
	at java.base/java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:564)
	at java.base/java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:591)
	at java.base/java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:689)
	at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateParallel(ReduceOps.java:927)
	at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
	at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:682)
	at de.uka.ilkd.key.java.JavaService.parseInternalClasses(JavaService.java:358)
	at de.uka.ilkd.key.java.JavaService.parseLibs(JavaService.java:389)
	at de.uka.ilkd.key.java.JavaService.parseLibraryClasses0(JavaService.java:529)
	at de.uka.ilkd.key.java.JavaService.parseSpecialClasses(JavaService.java:507)
	at de.uka.ilkd.key.java.JavaService.parseBlock(JavaService.java:775)
	at de.uka.ilkd.key.java.JavaService.readBlock(JavaService.java:825)
	at de.uka.ilkd.key.java.JavaService.readBlockWithProgramVariables(JavaService.java:881)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.getJavaBlock(ExpressionBuilder.java:568)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitModality_term(ExpressionBuilder.java:1074)
	at de.uka.ilkd.key.nparser.KeYParser$Modality_termContext.accept(KeYParser.java:4623)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at de.uka.ilkd.key.nparser.KeYParserBaseVisitor.visitTerm60(KeYParserBaseVisitor.java:381)
	at de.uka.ilkd.key.nparser.KeYParser$Term60Context.accept(KeYParser.java:4485)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitConjunction_term(ExpressionBuilder.java:238)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitConjunction_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Conjunction_termContext.accept(KeYParser.java:4419)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitDisjunction_term(ExpressionBuilder.java:229)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitDisjunction_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Disjunction_termContext.accept(KeYParser.java:4346)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitImplication_term(ExpressionBuilder.java:222)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitImplication_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Implication_termContext.accept(KeYParser.java:4278)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitEquivalence_term(ExpressionBuilder.java:198)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitEquivalence_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Equivalence_termContext.accept(KeYParser.java:4209)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitElementary_update_term(ExpressionBuilder.java:188)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitElementary_update_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Elementary_update_termContext.accept(KeYParser.java:4142)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.lambda$mapOf$0(AbstractBuilder.java:124)
	at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625)
	at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:921)
	at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:682)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.mapOf(AbstractBuilder.java:125)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitParallel_term(ExpressionBuilder.java:173)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitParallel_term(ExpressionBuilder.java:49)
	at de.uka.ilkd.key.nparser.KeYParser$Parallel_termContext.accept(KeYParser.java:4074)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at de.uka.ilkd.key.nparser.KeYParserBaseVisitor.visitTerm(KeYParserBaseVisitor.java:332)
	at de.uka.ilkd.key.nparser.KeYParser$TermContext.accept(KeYParser.java:4020)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.ExpressionBuilder.visitTermorseq(ExpressionBuilder.java:511)
	at de.uka.ilkd.key.nparser.KeYParser$TermorseqContext.accept(KeYParser.java:8199)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:48)
	at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:35)
	at de.uka.ilkd.key.nparser.builder.TacletPBuilder.visitTaclet(TacletPBuilder.java:195)
	at de.uka.ilkd.key.nparser.builder.TacletPBuilder.visitTaclet(TacletPBuilder.java:41)
	at de.uka.ilkd.key.nparser.KeYParser$TacletContext.accept(KeYParser.java:7771)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.lambda$mapOf$0(AbstractBuilder.java:124)
	at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625)
	at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:921)
	at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:682)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.mapOf(AbstractBuilder.java:125)
	at de.uka.ilkd.key.nparser.builder.TacletPBuilder.visitRulesOrAxioms(TacletPBuilder.java:95)
	at de.uka.ilkd.key.nparser.KeYParser$RulesOrAxiomsContext.accept(KeYParser.java:10795)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.lambda$mapOf$0(AbstractBuilder.java:124)
	at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625)
	at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:921)
	at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:682)
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.mapOf(AbstractBuilder.java:125)
	at de.uka.ilkd.key.nparser.builder.TacletPBuilder.visitDecls(TacletPBuilder.java:76)
	at de.uka.ilkd.key.nparser.KeYParser$DeclsContext.accept(KeYParser.java:515)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at de.uka.ilkd.key.nparser.KeYParserBaseVisitor.visitFile(KeYParserBaseVisitor.java:24)
	at de.uka.ilkd.key.nparser.KeYParser$FileContext.accept(KeYParser.java:313)
	at de.uka.ilkd.key.nparser.KeyAst.accept(KeyAst.java:43)
	at de.uka.ilkd.key.proof.io.KeYFile.readRules(KeYFile.java:384)
	at de.uka.ilkd.key.proof.io.KeYFile.read(KeYFile.java:297)
	at de.uka.ilkd.key.proof.init.ProblemInitializer.readEnvInput(ProblemInitializer.java:323)
	at de.uka.ilkd.key.proof.init.ProblemInitializer.readIncludes(ProblemInitializer.java:191)
	at de.uka.ilkd.key.proof.init.ProblemInitializer.readEnvInput(ProblemInitializer.java:317)
	at de.uka.ilkd.key.proof.init.ProblemInitializer.createInputConfigFor(ProblemInitializer.java:455)
	at de.uka.ilkd.key.proof.init.ProblemInitializer.prepare(ProblemInitializer.java:470)
	at de.uka.ilkd.key.proof.io.AbstractProblemLoader.createInitConfig(AbstractProblemLoader.java:557)
	at de.uka.ilkd.key.proof.io.AbstractProblemLoader.loadEnvironment(AbstractProblemLoader.java:317)
	at de.uka.ilkd.key.proof.io.AbstractProblemLoader.load(AbstractProblemLoader.java:275)
	at de.uka.ilkd.key.proof.io.AbstractProblemLoader.load(AbstractProblemLoader.java:257)
	at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:212)
	... 90 more
Caused by: java.lang.OutOfMemoryError: Java heap space
	at com.github.javaparser.AbstractCharStream.getImage(AbstractCharStream.java:444)
	at com.github.javaparser.GeneratedJavaParserTokenManager.jjFillToken(GeneratedJavaParserTokenManager.java:5902)
	at com.github.javaparser.GeneratedJavaParserTokenManager.getNextToken(GeneratedJavaParserTokenManager.java:6257)
	at com.github.javaparser.GeneratedJavaParser.jj_scan_token(GeneratedJavaParser.java:18188)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_158(GeneratedJavaParser.java:14226)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_181(GeneratedJavaParser.java:13749)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_113(GeneratedJavaParser.java:13725)
	at com.github.javaparser.GeneratedJavaParser.jj_3_30(GeneratedJavaParser.java:16781)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_180(GeneratedJavaParser.java:16756)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_263(GeneratedJavaParser.java:16541)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_196(GeneratedJavaParser.java:16522)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_161(GeneratedJavaParser.java:16311)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_96(GeneratedJavaParser.java:16268)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_221(GeneratedJavaParser.java:17766)
	at com.github.javaparser.GeneratedJavaParser.jj_3R_129(GeneratedJavaParser.java:17738)
	at com.github.javaparser.GeneratedJavaParser.jj_3_45(GeneratedJavaParser.java:17346)
	at com.github.javaparser.GeneratedJavaParser.jj_2_45(GeneratedJavaParser.java:11765)
	at com.github.javaparser.GeneratedJavaParser.PrimaryPrefix(GeneratedJavaParser.java:5559)
	at com.github.javaparser.GeneratedJavaParser.PrimaryExpression(GeneratedJavaParser.java:5291)
	at com.github.javaparser.GeneratedJavaParser.PostfixExpression(GeneratedJavaParser.java:5117)
	at com.github.javaparser.GeneratedJavaParser.UnaryExpressionNotPlusMinus(GeneratedJavaParser.java:5087)
	at com.github.javaparser.GeneratedJavaParser.UnaryExpression(GeneratedJavaParser.java:4928)
	at com.github.javaparser.GeneratedJavaParser.MultiplicativeExpression(GeneratedJavaParser.java:4771)
	at com.github.javaparser.GeneratedJavaParser.AdditiveExpression(GeneratedJavaParser.java:4723)
	at com.github.javaparser.GeneratedJavaParser.ShiftExpression(GeneratedJavaParser.java:4678)
	at com.github.javaparser.GeneratedJavaParser.RelationalExpression(GeneratedJavaParser.java:4618)
	at com.github.javaparser.GeneratedJavaParser.InstanceOfExpression(GeneratedJavaParser.java:4520)
	at com.github.javaparser.GeneratedJavaParser.EqualityExpression(GeneratedJavaParser.java:4450)
	at com.github.javaparser.GeneratedJavaParser.AndExpression(GeneratedJavaParser.java:4405)
	at com.github.javaparser.GeneratedJavaParser.ExclusiveOrExpression(GeneratedJavaParser.java:4365)
	at com.github.javaparser.GeneratedJavaParser.InclusiveOrExpression(GeneratedJavaParser.java:4325)
	at com.github.javaparser.GeneratedJavaParser.ConditionalAndExpression(GeneratedJavaParser.java:4285)

Tests

Test	Duration	Result
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific()	8m38.71s	failed
testInstantiateLabels_directChildPolicies_allRules()	9m52.71s	failed
testParseLabel()	-	ignored

Standard error

322064     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
322065     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 721.38ns 
322065     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
322525     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ pure @*/
boolean, formerNode: boolean 
322537     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
322538     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
322538     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: boolean 
322539     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
322540     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
322542     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
322841     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

322842     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:37:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

323381     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

323382     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:43:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

323824     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

323825     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:52:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

324247     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

324248     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:65:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

324671     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

324672     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:73:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325112     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325113     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:81:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325531     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325532     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:89:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325947     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

325948     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:97:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

326354     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

326355     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:105:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

326762     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

326763     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:113:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

327163     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

327163     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:120:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

327640     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

327646     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:127:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

328526     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
328528     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
328537     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
328538     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
329840     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

329841     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:77:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

329841     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
329841     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
329841     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
330241     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

330241     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:87:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

330241     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
330241     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
330241     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
330674     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

330675     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:97:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

330675     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
330675     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
330675     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
331088     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331088     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:107:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331098     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
331098     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
331098     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
331506     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331507     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:117:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331507     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
331507     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
331912     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331913     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:128:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

331913     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
331913     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
331913     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
332338     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

332338     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:138:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

332338     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
332338     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se1 (program SimpleExpression) #se1 (program SimpleExpression) 
332339     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se2 (program SimpleExpression) #se2 (program SimpleExpression) 
332339     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
332749     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

332749     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:149:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

332750     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
332750     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
332750     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
333152     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

333152     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:159:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

333152     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #loc (program Variable) #loc (program Variable) 
333152     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: #se (program SimpleExpression) #se (program SimpleExpression) 
333153     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: post (formula) post (formula) 
333559     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

333559     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key:169:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

335473     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

335474     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:16:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

335902     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

335903     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:25:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

336312     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

336313     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:34:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

336727     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

336728     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:43:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337152     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337153     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:54:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337555     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337556     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:66:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337965     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

337966     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:78:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

338363     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

338364     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:93:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

338759     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

338760     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:100:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339160     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339160     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:115:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339163     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: f (variable) f (variable) 
339174     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: o (variable) o (variable) 
339174     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Override: oldHeap (Heap skolem term) oldHeap (Heap skolem term) 
339581     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339582     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key:136:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339981     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

339982     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:106:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

340422     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

340422     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:121:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

340807     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

340807     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:135:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341195     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341195     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:145:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341590     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341591     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:155:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341996     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

341997     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:165:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

342416     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

342417     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:176:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

342836     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

342837     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:187:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

343254     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

343255     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:198:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

343672     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

343673     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:209:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344100     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344101     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:220:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344539     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344546     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:231:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344975     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

344975     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:242:13
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

345387     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

345388     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:257:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

345788     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

345789     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:263:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

346191     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

346192     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:271:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

346600     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

346602     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:279:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347028     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347030     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:287:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347452     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347453     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:297:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347873     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

347874     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:307:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

348346     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

348347     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:317:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

348753     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

348753     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:329:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

349167     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

349168     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:403:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

349583     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

349584     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:411:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350014     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350015     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:419:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350413     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350413     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:427:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350811     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

350811     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:434:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351203     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351203     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:441:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351598     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351599     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:448:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351985     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

351985     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:455:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

352383     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

352384     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:466:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

352771     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

352772     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:472:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353166     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353167     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:482:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353572     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353572     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:488:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353986     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

353986     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:494:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

354402     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

354403     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:500:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

354815     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

354816     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:506:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

355221     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

355222     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:523:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

355626     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

355626     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:546:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356045     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356046     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:574:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356471     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356472     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:590:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356877     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

356878     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:596:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

357281     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

357281     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:605:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

357684     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

357685     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:613:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

358103     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

358103     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:622:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

358628     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

358629     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:630:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359047     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359048     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:639:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359453     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359453     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:647:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359884     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

359885     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:656:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: Cannot invoke "Object.hashCode()" because "this.elemSort" is null
	at de.uka.ilkd.key.logic.sort.ArraySort$SortKey.hashCode(ArraySort.java:178)

360285     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

360285     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:664:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

360684     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

360685     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:673:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

361086     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

361087     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:681:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

361467     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

361468     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:693:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

361891     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

361892     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:701:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

362286     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

362287     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:715:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

362679     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

362680     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:722:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

363089     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

363089     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:730:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

363477     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

363477     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:739:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

363888     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

363888     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:746:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

364402     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

364402     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:754:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

364986     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

364987     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:763:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

365583     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

365583     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:770:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

369933     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

369934     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:778:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

370304     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

370304     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:787:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

370682     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

370682     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:794:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

371098     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

371099     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:802:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

371513     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

371514     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:811:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

371938     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

371938     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:819:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

372361     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

372362     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:827:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

372794     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

372795     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:836:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

373212     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

373213     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:843:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

373627     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

373628     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:851:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

374048     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

374049     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:860:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

374453     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

374453     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:867:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

374866     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

374866     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:875:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

375269     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

375269     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:884:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

375673     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

375673     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:892:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

376076     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

376077     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:900:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

376499     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

376500     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:909:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

376898     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

376899     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:925:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

377302     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

377309     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:935:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

377716     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

377717     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:945:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

378147     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

378147     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:959:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

378541     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

378541     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:975:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

378956     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

378957     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:990:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

379342     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

379342     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1001:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

379760     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

379761     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1018:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

380179     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

380180     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1034:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

380583     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

380583     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1044:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

380998     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

380999     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1063:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

381392     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

381392     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1081:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

381792     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

381792     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1094:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

382217     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

382218     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1100:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

382649     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

382649     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1114:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

383096     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

383096     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1124:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

383527     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

383528     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1135:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

383950     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

383951     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1142:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

384398     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

384399     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1151:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

384845     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

384845     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1157:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

385267     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

385282     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1164:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

385710     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

385711     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1171:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

386157     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

386157     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1178:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

386627     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

386627     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1184:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

387067     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

387068     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1191:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

387516     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

387516     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1198:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

387981     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

387982     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1205:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

388440     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

388441     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1212:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

388975     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

388975     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1220:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

389485     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

389486     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1230:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

389990     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

389991     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1238:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

390484     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

390485     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1245:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

390988     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

390989     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1254:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

391506     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

391506     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1262:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

392054     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

392055     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1271:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

392675     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

392679     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1279:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

400521     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

400521     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1287:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

401072     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

401072     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1297:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

405399     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

405399     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1307:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

416828     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

416829     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1313:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

428295     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

428295     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1320:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

447154     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

447154     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1327:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

473374     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

473374     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1334:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

643395     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

643396     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1341:20
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

690172     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

690172     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1347:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

716580     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

716581     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1353:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

840373     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

844055     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:1359:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

918455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
918455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.3ns 
918455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
937231     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ pure @*/
boolean, formerNode: boolean 
937243     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
937245     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
937245     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: boolean 
937245     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
937246     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
937249     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
944827     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

944828     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:37:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

952687     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

952687     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:43:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

956822     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

956831     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:52:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

957364     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

957364     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:65:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

957998     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

957999     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:73:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

965834     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

965835     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:81:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

973680     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

973680     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:89:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

988897     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

988897     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:97:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

1007915    ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

1007918    ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:105:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

1034297    ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

1034297    ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:113:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

1193715    ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.NullPointerException: null

1193715    ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key:120:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.NullPointerException: null

1440863    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 
1440864    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.9ns 
1440864    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config