257297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257301 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
257378 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257379 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257438 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
257512 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257513 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257516 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
257582 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
257582 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257583 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
257650 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
257717 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257717 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257718 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
257719 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
257777 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257778 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257779 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
257779 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
257848 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
257914 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257914 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257923 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
257982 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257982 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257984 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
257984 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
258043 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258044 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
258045 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
258104 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258105 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258107 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
258166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258166 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258169 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
258228 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258228 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258229 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
258288 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258288 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258290 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
258351 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258353 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258358 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
258423 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
258482 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258482 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258483 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
258541 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258541 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258542 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
258601 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
258601 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258602 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
258660 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258660 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258662 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
258768 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
258768 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258769 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
258828 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258828 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258829 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
258888 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
258888 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258889 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
258947 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258947 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258948 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
259007 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
259007 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259008 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
259066 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259066 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259068 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
259126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259129 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
259187 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259187 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259188 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
259246 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259247 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
259248 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
259306 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259306 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259307 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
259366 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259366 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259367 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
259425 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259426 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
259427 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
259485 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259485 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259487 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
259545 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259545 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259547 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
259605 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259606 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259608 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
259666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259666 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259667 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
259726 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
259726 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259728 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
259790 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259791 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
259849 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259849 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259850 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
259909 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259909 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259910 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
259969 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259969 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259970 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
260029 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
260029 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
260030 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
260089 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
260089 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
260091 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
260150 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
260208 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
260208 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
260211 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
260270 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
260270 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms