483682 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[...]
483760 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
483760 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
483760 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
483760 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
483775 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[...]
483775 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
483838 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
483838 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
483838 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
483838 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
483946 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
483992 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[...]
483992 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
484071 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484071 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484071 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484071 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484086 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[...]
484086 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
484164 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484164 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484164 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484164 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484164 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[...]
484164 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
484242 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[...]
484242 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
484306 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484306 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484306 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484306 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484306 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
484306 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[...]
484306 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
484383 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484383 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484383 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484383 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484383 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
484383 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[...]
484383 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
484477 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[...]
484477 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
484540 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484540 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484540 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484555 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[...]
484555 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
484633 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484633 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484633 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484633 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484633 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
484633 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[...]
484633 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
484711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484711 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484711 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484711 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[...]
484711 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
484790 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484790 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484790 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[...]
484790 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
484868 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484868 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484868 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484868 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484868 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[...]
484868 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
484946 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
484946 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
484946 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
484946 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
484946 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[...]
484946 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
485024 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485024 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485024 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485024 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485024 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[...]
485024 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
485103 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485103 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485103 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485103 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485103 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[...]
485103 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
485196 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[...]
485196 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
485274 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485274 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485274 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485274 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485274 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[...]
485274 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
485384 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485384 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485384 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485384 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485384 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[...]
485384 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
485462 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485462 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485462 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485462 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485462 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[...]
485462 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
485540 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485540 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485540 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485540 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[...]
485540 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
485603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485618 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[...]
485618 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
485681 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485681 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485681 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[...]
485681 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
485759 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485759 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485759 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485759 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485759 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[...]
485759 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
485837 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485837 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485837 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485837 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485837 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[...]
485837 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
485900 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485900 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485900 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485900 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485900 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[...]
485915 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
485978 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
485978 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
485978 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
485978 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
485978 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[...]
485978 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
486056 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486056 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486056 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486056 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486056 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[...]
486056 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
486134 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486134 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486134 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486134 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486134 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[...]
486134 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
486212 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486212 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486212 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486212 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486212 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[...]
486212 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
486290 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486290 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486290 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486290 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486290 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[...]
486290 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
486369 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486369 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486384 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[...]
486384 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
486447 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486447 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486447 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486447 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486462 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[...]
486462 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
486599 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486599 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486599 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486599 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486599 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[...]
486599 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
486677 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486677 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486677 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486677 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[...]
486677 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
486748 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486748 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486748 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486748 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[...]
486748 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
486827 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486827 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486827 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486827 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486842 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
486842 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
486842 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[...]
486842 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
486905 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486905 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486905 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486905 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486905 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))
486920 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))
486920 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[...]
486920 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
486983 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486983 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486983 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486983 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486983 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
486983 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
486998 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[...]
486998 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
487061 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487061 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487061 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487061 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487061 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
487061 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
487061 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[...]
487061 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
487155 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487155 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487155 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487155 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487155 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
487155 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
487155 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[...]
487171 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
487233 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487233 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487233 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487249 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
487249 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
487249 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[...]
487249 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
487312 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487312 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487327 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
487327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487327 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
487327 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
487327 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[...]
487327 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
487405 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487405 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487405 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487405 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487405 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[...]
487405 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
487484 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[...]
487484 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
487548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487548 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487548 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487578 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[...]
487578 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
487656 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487656 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487656 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487656 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0