357417 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357531 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
357531 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357532 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357534 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357534 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
357612 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357613 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357613 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357613 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357615 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
357676 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357677 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
357755 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357756 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357757 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357757 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357763 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357765 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
357839 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357839 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357840 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357840 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357843 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357843 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
357914 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357915 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
357983 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357983 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357983 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357983 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357985 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
357986 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357987 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
358056 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358056 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358056 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358057 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
358058 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
358058 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358058 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
358129 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358130 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
358198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358199 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
358199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358203 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358204 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
358277 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
358277 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358277 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358279 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
358279 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358280 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
358350 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358351 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358351 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358351 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358352 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358353 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
358427 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
358427 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358427 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358427 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358430 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358430 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
358508 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358509 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358509 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358509 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358513 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358514 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
358586 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358587 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358587 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358587 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358588 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358588 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
358664 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358664 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358665 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
358665 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358666 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358666 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
358747 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358748 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358748 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358749 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358749 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
358818 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358818 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
358899 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
358899 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358899 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358899 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358899 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358900 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
358971 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358971 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
358972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358973 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
358973 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
359047 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
359047 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359047 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359047 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359048 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359049 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
359119 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359119 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359119 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359119 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359120 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359121 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
359191 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359191 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359192 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
359193 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359193 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
359264 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359264 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359264 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359264 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359266 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359266 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
359341 INFO Test worker d.u.i.k.n.KeyIO Parsing took 3 ms
359341 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359341 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359341 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359342 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359342 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
359420 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359420 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359420 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359420 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359421 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359422 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
359493 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359493 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359493 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359494 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359495 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
359565 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
359565 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359565 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359565 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359566 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359567 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
359640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359643 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359643 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
359729 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359729 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359729 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359729 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359730 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359731 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
359802 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359802 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359803 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
359803 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359804 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359804 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
359876 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359876 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359877 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
359877 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359878 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359879 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
359950 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
359950 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359950 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359950 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359952 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
359952 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
360022 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360022 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360023 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
360088 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
360089 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360089 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
360162 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360162 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360163 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
360163 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360165 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360165 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
360238 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
360238 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360238 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360238 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360240 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360241 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
360307 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360307 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360307 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360307 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360310 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360310 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
360380 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360380 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360380 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
360382 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360382 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360382 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360382 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
360454 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360454 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360454 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360454 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360457 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: all{l:int}(and(\<{
int globalIntPV = 0;
}\> (update-application(elem-update(globalIntPV)(l),false)),true))
360457 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: all{l:int}(and(\<{
int globalIntPV = 0;
}\> (update-application(elem-update(globalIntPV)(l),false)),true))
360457 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360458 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
360527 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
360527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360527 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
360527 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
360527 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360528 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
360601 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360601 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360601 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360601 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360603 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360603 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360603 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360603 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
360676 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360676 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360676 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360678 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360678 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360678 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360678 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
360750 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360750 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360750 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360750 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360751 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360751 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360752 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360752 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
360829 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360829 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360829 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360829 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360830 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
360830 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
360830 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360831 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
360906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360907 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
360907 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360911 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360912 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
360994 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360994 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
361069 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
361069 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361069 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361069 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361073 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
361073 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
361149 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361149 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361149 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361149 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0