320813 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[...]
320893 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320893 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320893 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320894 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[...]
320895 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
320958 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320958 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320958 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320958 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320959 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
321013 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[...]
321014 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
321083 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321083 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321083 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321083 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321088 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[...]
321088 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
321156 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321156 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321156 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321157 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321157 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[...]
321158 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
321222 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[...]
321224 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
321288 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321288 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321288 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321288 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321290 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
321290 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[...]
321291 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
321356 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
321356 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321356 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321357 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
321359 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[...]
321359 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
321421 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[...]
321421 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
321484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321485 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321485 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321486 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
321490 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[...]
321491 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
321553 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321553 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321553 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321553 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321557 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
321557 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[...]
321558 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
321621 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321621 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321621 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321622 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
321624 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[...]
321625 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
321690 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321690 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321690 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321690 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321696 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[...]
321696 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
321759 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321759 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321760 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
321760 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321762 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[...]
321762 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
321823 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321823 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321823 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321823 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321824 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[...]
321824 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
321893 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321893 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321893 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321894 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[...]
321894 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
321956 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321956 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321956 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321956 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
321957 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[...]
321957 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
322018 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[...]
322019 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
322079 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322079 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322079 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322079 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322080 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[...]
322080 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
322142 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322142 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322142 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322143 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
322143 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[...]
322144 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
322205 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322205 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322206 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
322206 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322206 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[...]
322207 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
322269 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322269 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322269 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322269 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322270 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[...]
322270 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
322333 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322333 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322333 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322334 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[...]
322334 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
322396 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322397 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322397 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322397 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322398 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[...]
322398 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
322459 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322459 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322459 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322459 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322460 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[...]
322460 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
322522 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322522 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322522 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322522 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322523 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[...]
322523 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
322586 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322586 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322586 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322586 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322587 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[...]
322587 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
322648 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322648 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322648 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322648 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322650 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[...]
322650 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
322724 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
322724 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322724 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322724 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322730 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[...]
322730 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
322800 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322801 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322802 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
322802 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322803 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[...]
322804 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
322896 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322896 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322896 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322897 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
322898 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[...]
322898 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
322961 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322961 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322961 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322961 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
322963 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[...]
322963 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
323025 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323025 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323025 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323025 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323027 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[...]
323027 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
323088 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323088 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323088 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323088 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323089 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[...]
323089 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
323151 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323151 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323151 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323152 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
323154 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[...]
323154 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
323217 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323217 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323218 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
323218 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323220 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[...]
323220 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
323281 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323281 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323282 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
323282 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323283 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[...]
323284 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
323346 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
323346 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323346 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323346 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323347 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
323347 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
323347 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[...]
323347 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
323470 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323470 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323470 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323470 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323472 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))
323472 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))
323472 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[...]
323473 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
323535 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323535 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323535 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323535 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323536 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
323536 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
323536 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[...]
323536 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
323599 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323599 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323599 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323599 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323600 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
323600 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
323600 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[...]
323601 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
323663 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
323663 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323663 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323663 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323664 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
323664 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
323664 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[...]
323664 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
323726 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323726 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323726 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323726 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323727 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
323727 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
323727 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[...]
323728 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
323790 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323790 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323791 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
323791 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
323791 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[...]
323791 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
323857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323857 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323857 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323857 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323860 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[...]
323860 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
323923 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[...]
323924 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
323986 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
323986 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
323986 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
323986 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323989 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[...]
323990 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
324060 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
324060 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
324060 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
324060 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0