286346 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286347 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286347 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286349 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286408 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286408 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286409 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286409 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286454 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286509 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286510 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286510 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286510 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286514 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286569 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286570 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286570 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286570 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286571 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286631 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286691 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286691 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286691 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286691 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286692 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
286697 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286754 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286755 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286755 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286755 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286756 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
286758 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286819 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286875 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286875 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286876 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286876 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286883 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286939 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286939 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286939 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286939 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286940 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
286941 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
286994 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286994 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286994 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286994 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286996 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287053 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287053 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287053 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287053 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287056 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287111 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287111 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287111 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287111 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287113 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287172 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287172 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287172 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287173 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
287173 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287230 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287230 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287230 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287230 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287232 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287287 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287287 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287287 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287287 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287289 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287343 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287398 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287398 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287398 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287398 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287398 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287453 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287453 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287453 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287453 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287454 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287513 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287514 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287514 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
287514 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287515 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287570 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287570 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287570 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287570 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287572 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287633 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287633 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287633 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287633 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287635 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287697 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287697 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287697 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287697 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287699 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287755 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287755 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287755 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287755 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287756 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287814 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287814 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287814 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287814 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287816 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287887 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287887 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287887 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287887 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287888 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
287948 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
287948 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
287948 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
287948 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
287950 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288021 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 11 ms to parse.
288021 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1073 ms.
288021 INFO Test worker d.u.i.k.n.KeyIO Parsing took 11 ms
288021 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288025 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288086 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288086 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1073 ms.
288086 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288086 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288088 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288146 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288146 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1073 ms.
288146 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288146 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288147 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288209 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288209 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1073 ms.
288209 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288209 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288211 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288271 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288271 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1073 ms.
288271 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288271 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288272 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288328 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
288328 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288328 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
288328 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288329 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288384 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288384 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288384 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288384 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288386 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288442 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288442 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288442 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288443 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
288445 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288507 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288508 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288508 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
288508 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288510 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288569 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288569 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288569 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288569 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288570 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288625 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288625 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288625 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288625 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288628 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288685 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288685 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1074 ms.
288685 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288685 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288686 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288742 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
288742 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1075 ms.
288742 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
288742 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288743 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288800 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288800 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1075 ms.
288800 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288800 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288803 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288867 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
288867 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1075 ms.
288867 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288867 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288869 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
288930 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
288930 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1076 ms.
288930 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
288930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288932 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
289000 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
289000 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1076 ms.
289000 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
289000 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
289003 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
289064 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
289121 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
289122 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1076 ms.
289122 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
289122 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
289126 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
289186 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
289187 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1076 ms.
289187 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
289187 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms