TestClashFreeSubst

all > de.uka.ilkd.key.logic > TestClashFreeSubst
tests
failures
ignored
0.198s
duration
100%
successful
Tests
Standard error
Tests

Test	Duration	Result
testClash()	0.014s	passed
testClashInSubstTerm()	0.018s	passed
testMultiShareBound()	0.020s	passed
testMultiSubst()	0.017s	passed
testShare()	0.010s	passed
testShareWary()	0.007s	passed
testSubst()	0.013s	passed
testSubstInSubstTerm()	0.013s	passed
testSubstWary()	0.018s	passed
testWary0()	0.012s	passed
testWary1()	0.030s	passed
testWary2()	0.026s	passed
xtestMultiClash()	-	ignored
xtestMultiClash1()	-	ignored
Standard error

9320       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
9405       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
9405       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
9405       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
9405       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
9421       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
9421       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
9483       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
9483       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
9561       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
9584       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
9584       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
9600       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
9600       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
9709       INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
9709       DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
9709       INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
9709       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
9709       INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
9709       DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
9709       INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
9709       DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
10022      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
10100      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
10100      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
10100      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
10116      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
10116      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
10116      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
10163      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
10179      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
10241      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
10257      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
10257      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
10257      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
10257      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
10366      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
10366      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
10366      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
10366      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
10366      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
10366      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
10366      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
10366      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
10663      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
10772      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
10772      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
10772      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
10772      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
10772      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
10788      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
10835      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
10850      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
10945      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
10960      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
10960      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
10960      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
10960      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
11054      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
11054      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
11054      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
11054      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
11054      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
11054      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
11054      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
11054      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
11366      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
11445      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
11460      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
11460      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
11460      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
11460      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
11460      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
11491      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
11507      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
11554      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
11570      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
11570      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
11773      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
11788      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
11866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
11866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
11866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
11866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
11866      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
11866      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
11866      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
11866      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
12085      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
12195      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
12210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
12210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
12210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
12210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
12210      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
12273      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
12289      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
12336      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
12351      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
12351      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
12351      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
12351      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
12429      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
12429      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
12429      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
12429      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
12445      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
12445      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
12445      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
12445      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
12648      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
12711      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
12726      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
12726      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
12726      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
12726      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
12773      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
12804      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
12804      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
12867      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
12882      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
12882      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
12898      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
12898      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
12992      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
12992      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
12992      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
12992      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
12992      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
12992      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
12992      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
12992      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
13205      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
13267      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
13267      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
13283      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
13283      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
13283      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
13283      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
13315      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
13315      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
13424      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
13440      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
13440      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
13455      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
13455      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
13565      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
13565      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
13565      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
13565      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
13565      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
13565      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
13565      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
13565      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
13815      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
13909      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
13909      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
13909      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
13909      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
13924      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
13924      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
13971      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
13987      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
14034      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
14049      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
14049      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
14065      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
14065      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
14253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
14253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
14253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
14253      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
14253      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
14253      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
14253      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
14268      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
14456      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
14566      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
14566      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
14566      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
14566      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
14566      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
14581      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
14597      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
14597      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
14644      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
14675      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
14675      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
14675      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
14675      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
14769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
14769      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
14769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
14769      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
14769      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
14769      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
14769      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
14769      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
14945      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
15007      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
15056      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
15056      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
15103      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
15119      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
15119      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
15135      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
15135      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
15213      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
15213      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
15214      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
15215      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
15216      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
15216      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
15216      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
15216      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
15449      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
15512      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
15543      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
15543      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
15762      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
15778      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
15778      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
15778      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
15778      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
16030      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
16092      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
16123      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
16123      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
16170      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
16186      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
16186      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
16186      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
16186      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
16311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
16311      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
16311      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
16311      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
16311      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
16311      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
16311      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
16311      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
16483      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
16577      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
16608      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
16608      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
16655      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
16671      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
16671      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
16671      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
16671      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next; 
16755      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
16755      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
16755      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
16755      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
16755      INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
16755      DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
16755      INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
16755      DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
16930      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
16976      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
16976      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
16976      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
16976      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
16976      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
16992      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
17023      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
17039      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
17149      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
17164      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: char[], formerNode: char[] 
17164      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: int[], formerNode: int[] 
17164      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: testTermParserHeap.A::next;, formerValue: testTermParserHeap.A::next; 
17164      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of value: A testTermParserHeap.A::next;, formerValue: A testTermParserHeap.A::next;