ParseLDTsTests

all > de.uka.ilkd.key.nparser > ParseLDTsTests
2

tests
1

failures
0

ignored
0.128s

duration
50%

successful

Failed tests

testSR()

de.uka.ilkd.key.util.parsing.SyntaxErrorReporter$ParserException: line 126:15 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 126:23 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 126:25 mismatched input ')' expecting {'(', '{'}
line 132:28 no viable alternative at input 'a)'
line 132:46 extraneous input '!' expecting {'\lemma', '}', IDENT, '/*!'}
line 132:48 mismatched input ')' expecting {'(', '{'}
line 133:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 133:29 mismatched input '->' expecting {'(', '{'}
line 141:15 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 141:23 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 141:25 mismatched input ')' expecting {'(', '{'}
line 147:28 no viable alternative at input 'a)'
line 147:46 extraneous input '!' expecting {'\lemma', '}', IDENT, '/*!'}
line 147:48 mismatched input ')' expecting {'(', '{'}
line 148:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 148:29 mismatched input '->' expecting {'(', '{'}
line 258:15 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 258:23 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 258:25 mismatched input ')' expecting {'(', '{'}
line 266:24 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 266:29 no viable alternative at input 'a)'
line 267:72 extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 267:80 missing '}' at ';'
line 267:88 extraneous input '}' expecting {'(', '{'}
line 267:92 no viable alternative at input 'WD('
line 268:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 268:31 no viable alternative at input 'a)'
line 269:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 269:31 no viable alternative at input 's)'
line 277:15 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 277:23 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 277:25 mismatched input ')' expecting {'(', '{'}
line 285:24 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 285:29 no viable alternative at input 'a)'
line 286:72 extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 286:80 missing '}' at ';'
line 286:88 extraneous input '}' expecting {'(', '{'}
line 286:92 no viable alternative at input 'WD('
line 287:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 287:31 no viable alternative at input 'a)'
line 288:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 288:31 no viable alternative at input 'b)'
line 464:15 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 464:23 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 464:25 mismatched input ')' expecting {'(', '{'}
line 472:24 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 472:28 no viable alternative at input 'a)'
line 473:72 extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 473:80 missing '}' at ';'
line 473:88 mismatched input '}' expecting {'(', '{'}
line 474:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 474:30 no viable alternative at input 'a)'
line 475:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 475:31 no viable alternative at input 's)'
line 483:14 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 483:22 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 483:24 mismatched input ')' expecting {'(', '{'}
line 491:24 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 491:28 no viable alternative at input 'a)'
line 492:72 extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 492:80 missing '}' at ';'
line 492:88 mismatched input '}' expecting {'(', '{'}
line 493:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 493:30 no viable alternative at input 'a)'
line 494:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 494:30 no viable alternative at input 'b)'
line 502:14 mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 502:22 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 502:24 mismatched input ')' expecting {'(', '{'}
line 510:24 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 510:28 no viable alternative at input 'a)'
line 511:72 extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL}
line 511:80 missing '}' at ';'
line 511:88 mismatched input '}' expecting {'(', '{'}
line 512:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 512:30 no viable alternative at input 'a)'
line 513:26 extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'}
line 513:30 no viable alternative at input 'b)'

	at app//de.uka.ilkd.key.util.parsing.SyntaxErrorReporter.throwException(SyntaxErrorReporter.java:89)
	at app//de.uka.ilkd.key.nparser.ParsingFacade.parseFile(ParsingFacade.java:125)
	at app//de.uka.ilkd.key.nparser.ParsingFacade.parseFile(ParsingFacade.java:107)
	at app//de.uka.ilkd.key.nparser.ParsingFacade.parseFiles(ParsingFacade.java:62)
	at app//de.uka.ilkd.key.nparser.KeyIO$Loader.parseFile(KeyIO.java:262)
	at app//de.uka.ilkd.key.nparser.KeyIO$Loader.loadComplete(KeyIO.java:235)
	at app//de.uka.ilkd.key.nparser.ParseLDTsTests.load(ParseLDTsTests.java:29)
	at app//de.uka.ilkd.key.nparser.ParseLDTsTests.testSR(ParseLDTsTests.java:21)
	at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566)
	at app//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:725)
	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:149)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:140)
	at app//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:84)
	at app//org.junit.jupiter.engine.execution.ExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(ExecutableInvoker.java:115)
	at app//org.junit.jupiter.engine.execution.ExecutableInvoker.lambda$invoke$0(ExecutableInvoker.java:105)
	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.ExecutableInvoker.invoke(ExecutableInvoker.java:104)
	at app//org.junit.jupiter.engine.execution.ExecutableInvoker.invoke(ExecutableInvoker.java:98)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:214)
	at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:210)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:135)
	at app//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:66)
	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@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541)
	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@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541)
	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 org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107)
	at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88)
	at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54)
	at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67)
	at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52)
	at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
	at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
	at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
	at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79)
	at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75)
	at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62)
	at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566)
	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 com.sun.proxy.$Proxy2.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)

Tests

Test Duration Result
testLDT() 0.019s passed
testSR() 0.109s failed

Standard output

131039     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:126:15: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@614,2154:2159='\ifExj',<188>,126:15] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131040     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:126:23: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@617,2162:2162='(',<146>,126:23] (rulesOrAxioms, decls, file) 
131040     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:126:25: mismatched input ')' expecting {'(', '{'} [@619,2164:2164=')',<147>,126:25] (taclet, rulesOrAxioms, decls, file) 
131041     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:132:28: no viable alternative at input 'a)' [@657,2300:2300=')',<147>,132:28] (option_list, taclet, rulesOrAxioms, decls, file) 
131042     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:132:46: extraneous input '!' expecting {'\lemma', '}', IDENT, '/*!'} [@669,2318:2318='!',<157>,132:46] (rulesOrAxioms, decls, file) 
131042     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:132:48: mismatched input ')' expecting {'(', '{'} [@671,2320:2320=')',<147>,132:48] (taclet, rulesOrAxioms, decls, file) 
131042     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:133:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@689,2358:2358='(',<146>,133:26] (rulesOrAxioms, decls, file) 
131042     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:133:29: mismatched input '->' expecting {'(', '{'} [@692,2361:2362='->',<158>,133:29] (taclet, rulesOrAxioms, decls, file) 
131043     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:141:15: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@720,2483:2488='\ifExj',<188>,141:15] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131043     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:141:23: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@723,2491:2491='(',<146>,141:23] (rulesOrAxioms, decls, file) 
131043     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:141:25: mismatched input ')' expecting {'(', '{'} [@725,2493:2493=')',<147>,141:25] (taclet, rulesOrAxioms, decls, file) 
131044     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:147:28: no viable alternative at input 'a)' [@763,2629:2629=')',<147>,147:28] (option_list, taclet, rulesOrAxioms, decls, file) 
131044     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:147:46: extraneous input '!' expecting {'\lemma', '}', IDENT, '/*!'} [@775,2647:2647='!',<157>,147:46] (rulesOrAxioms, decls, file) 
131044     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:147:48: mismatched input ')' expecting {'(', '{'} [@777,2649:2649=')',<147>,147:48] (taclet, rulesOrAxioms, decls, file) 
131045     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:148:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@795,2687:2687='(',<146>,148:26] (rulesOrAxioms, decls, file) 
131045     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:148:29: mismatched input '->' expecting {'(', '{'} [@798,2690:2691='->',<158>,148:29] (taclet, rulesOrAxioms, decls, file) 
131046     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:258:15: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@1436,4649:4654='\ifExj',<188>,258:15] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131046     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:258:23: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1439,4657:4657='(',<146>,258:23] (rulesOrAxioms, decls, file) 
131047     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:258:25: mismatched input ')' expecting {'(', '{'} [@1441,4659:4659=')',<147>,258:25] (taclet, rulesOrAxioms, decls, file) 
131047     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:266:24: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1494,4866:4866='(',<146>,266:24] (rulesOrAxioms, decls, file) 
131047     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:266:29: no viable alternative at input 'a)' [@1498,4871:4871=')',<147>,266:29] (option_list, taclet, rulesOrAxioms, decls, file) 
131047     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:267:72: extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@1537,4957:4962='\subst',<79>,267:72] (taclet, rulesOrAxioms, decls, file) 
131048     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:267:80: missing '}' at ';' [@1540,4965:4965=';',<138>,267:80] (taclet, rulesOrAxioms, decls, file) 
131048     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:267:88: extraneous input '}' expecting {'(', '{'} [@1543,4973:4973='}',<149>,267:88] (taclet, rulesOrAxioms, decls, file) 
131049     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:267:92: no viable alternative at input 'WD(' [@1546,4977:4977='(',<146>,267:92] (option_list, taclet, rulesOrAxioms, decls, file) 
131049     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:268:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1567,5016:5016='(',<146>,268:26] (rulesOrAxioms, decls, file) 
131050     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:268:31: no viable alternative at input 'a)' [@1571,5021:5021=')',<147>,268:31] (option_list, taclet, rulesOrAxioms, decls, file) 
131050     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:269:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1595,5064:5064='(',<146>,269:26] (rulesOrAxioms, decls, file) 
131050     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:269:31: no viable alternative at input 's)' [@1599,5069:5069=')',<147>,269:31] (option_list, taclet, rulesOrAxioms, decls, file) 
131051     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:277:15: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@1639,5202:5207='\ifExj',<188>,277:15] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131051     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:277:23: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1642,5210:5210='(',<146>,277:23] (rulesOrAxioms, decls, file) 
131052     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:277:25: mismatched input ')' expecting {'(', '{'} [@1644,5212:5212=')',<147>,277:25] (taclet, rulesOrAxioms, decls, file) 
131052     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:285:24: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1697,5419:5419='(',<146>,285:24] (rulesOrAxioms, decls, file) 
131052     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:285:29: no viable alternative at input 'a)' [@1701,5424:5424=')',<147>,285:29] (option_list, taclet, rulesOrAxioms, decls, file) 
131053     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:286:72: extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@1740,5510:5515='\subst',<79>,286:72] (taclet, rulesOrAxioms, decls, file) 
131053     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:286:80: missing '}' at ';' [@1743,5518:5518=';',<138>,286:80] (taclet, rulesOrAxioms, decls, file) 
131053     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:286:88: extraneous input '}' expecting {'(', '{'} [@1746,5526:5526='}',<149>,286:88] (taclet, rulesOrAxioms, decls, file) 
131054     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:286:92: no viable alternative at input 'WD(' [@1749,5530:5530='(',<146>,286:92] (option_list, taclet, rulesOrAxioms, decls, file) 
131054     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:287:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1770,5569:5569='(',<146>,287:26] (rulesOrAxioms, decls, file) 
131054     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:287:31: no viable alternative at input 'a)' [@1774,5574:5574=')',<147>,287:31] (option_list, taclet, rulesOrAxioms, decls, file) 
131055     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:288:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@1798,5617:5617='(',<146>,288:26] (rulesOrAxioms, decls, file) 
131055     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:288:31: no viable alternative at input 'b)' [@1802,5622:5622=')',<147>,288:31] (option_list, taclet, rulesOrAxioms, decls, file) 
131057     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:464:15: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@2717,8616:8621='\ifExj',<188>,464:15] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131057     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:464:23: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2720,8624:8624='(',<146>,464:23] (rulesOrAxioms, decls, file) 
131057     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:464:25: mismatched input ')' expecting {'(', '{'} [@2722,8626:8626=')',<147>,464:25] (taclet, rulesOrAxioms, decls, file) 
131058     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:472:24: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2775,8833:8833='(',<146>,472:24] (rulesOrAxioms, decls, file) 
131058     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:472:28: no viable alternative at input 'a)' [@2779,8837:8837=')',<147>,472:28] (option_list, taclet, rulesOrAxioms, decls, file) 
131058     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:473:72: extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@2814,8919:8924='\subst',<79>,473:72] (taclet, rulesOrAxioms, decls, file) 
131058     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:473:80: missing '}' at ';' [@2817,8927:8927=';',<138>,473:80] (taclet, rulesOrAxioms, decls, file) 
131059     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:473:88: mismatched input '}' expecting {'(', '{'} [@2820,8935:8935='}',<149>,473:88] (taclet, rulesOrAxioms, decls, file) 
131059     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:474:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2837,8970:8970='(',<146>,474:26] (rulesOrAxioms, decls, file) 
131059     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:474:30: no viable alternative at input 'a)' [@2841,8974:8974=')',<147>,474:30] (option_list, taclet, rulesOrAxioms, decls, file) 
131060     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:475:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2860,9012:9012='(',<146>,475:26] (rulesOrAxioms, decls, file) 
131060     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:475:31: no viable alternative at input 's)' [@2864,9017:9017=')',<147>,475:31] (option_list, taclet, rulesOrAxioms, decls, file) 
131060     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:483:14: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@2904,9151:9156='\ifExj',<188>,483:14] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131069     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:483:22: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2907,9159:9159='(',<146>,483:22] (rulesOrAxioms, decls, file) 
131069     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:483:24: mismatched input ')' expecting {'(', '{'} [@2909,9161:9161=')',<147>,483:24] (taclet, rulesOrAxioms, decls, file) 
131069     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:491:24: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@2962,9368:9368='(',<146>,491:24] (rulesOrAxioms, decls, file) 
131069     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:491:28: no viable alternative at input 'a)' [@2966,9372:9372=')',<147>,491:28] (option_list, taclet, rulesOrAxioms, decls, file) 
131070     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:492:72: extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@3001,9453:9458='\subst',<79>,492:72] (taclet, rulesOrAxioms, decls, file) 
131071     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:492:80: missing '}' at ';' [@3004,9461:9461=';',<138>,492:80] (taclet, rulesOrAxioms, decls, file) 
131072     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:492:88: mismatched input '}' expecting {'(', '{'} [@3007,9469:9469='}',<149>,492:88] (taclet, rulesOrAxioms, decls, file) 
131072     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:493:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3024,9504:9504='(',<146>,493:26] (rulesOrAxioms, decls, file) 
131072     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:493:30: no viable alternative at input 'a)' [@3028,9508:9508=')',<147>,493:30] (option_list, taclet, rulesOrAxioms, decls, file) 
131073     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:494:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3047,9545:9545='(',<146>,494:26] (rulesOrAxioms, decls, file) 
131073     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:494:30: no viable alternative at input 'b)' [@3051,9549:9549=')',<147>,494:30] (option_list, taclet, rulesOrAxioms, decls, file) 
131073     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:502:14: mismatched input '\ifExj' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@3081,9672:9677='\ifExj',<188>,502:14] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, termorseq, taclet, rulesOrAxioms, decls, file) 
131074     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:502:22: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3084,9680:9680='(',<146>,502:22] (rulesOrAxioms, decls, file) 
131074     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:502:24: mismatched input ')' expecting {'(', '{'} [@3086,9682:9682=')',<147>,502:24] (taclet, rulesOrAxioms, decls, file) 
131074     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:510:24: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3139,9889:9889='(',<146>,510:24] (rulesOrAxioms, decls, file) 
131077     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:510:28: no viable alternative at input 'a)' [@3143,9893:9893=')',<147>,510:28] (option_list, taclet, rulesOrAxioms, decls, file) 
131077     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:511:72: extraneous input '\subst' expecting {MODALITY, '\schemaVar', '\varcond', FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '\closegoal', '\replacewith', '\addrules', '\find', '\add', '\assumes', '(', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@3178,9974:9979='\subst',<79>,511:72] (taclet, rulesOrAxioms, decls, file) 
131077     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:511:80: missing '}' at ';' [@3181,9982:9982=';',<138>,511:80] (taclet, rulesOrAxioms, decls, file) 
131077     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:511:88: mismatched input '}' expecting {'(', '{'} [@3184,9990:9990='}',<149>,511:88] (taclet, rulesOrAxioms, decls, file) 
131078     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:512:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3201,10025:10025='(',<146>,512:26] (rulesOrAxioms, decls, file) 
131078     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:512:30: no viable alternative at input 'a)' [@3205,10029:10029=')',<147>,512:30] (option_list, taclet, rulesOrAxioms, decls, file) 
131078     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:513:26: extraneous input '(' expecting {'\lemma', '}', IDENT, '/*!'} [@3224,10066:10066='(',<146>,513:26] (rulesOrAxioms, decls, file) 
131079     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key:513:30: no viable alternative at input 'b)' [@3228,10070:10070=')',<147>,513:30] (option_list, taclet, rulesOrAxioms, decls, file)