317757 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[...]
317823 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317824 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317824 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317824 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317828 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[...]
317829 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
317900 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317900 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317901 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
317901 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317902 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
317956 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[...]
317958 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
318033 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318035 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318036 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318036 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318040 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[...]
318040 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
318110 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318111 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318111 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318112 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318113 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[...]
318114 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
318186 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[...]
318187 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
318249 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318249 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318249 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318252 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
318254 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[...]
318254 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
318322 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318322 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318323 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318323 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318324 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
318326 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[...]
318327 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
318392 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[...]
318392 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
318456 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318456 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318457 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318457 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318462 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[...]
318462 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
318525 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318525 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318525 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318526 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
318527 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
318527 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[...]
318528 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
318592 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318592 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318592 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318592 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318594 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[...]
318595 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
318662 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318663 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318663 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318663 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318666 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[...]
318667 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
318735 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318735 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318735 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318736 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
318738 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[...]
318738 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
318800 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318801 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318801 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318801 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318802 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[...]
318802 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
318866 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318866 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318866 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318866 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318867 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[...]
318868 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
318931 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318931 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318931 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318932 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318933 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[...]
318933 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
318996 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[...]
318997 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
319062 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
319062 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319062 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319062 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319063 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[...]
319063 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
319126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
319126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319127 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[...]
319128 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
319192 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319193 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319193 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319193 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319194 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[...]
319194 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
319257 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319257 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319257 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
319258 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[...]
319259 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
319332 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319332 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319333 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319334 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[...]
319334 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
319404 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319405 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319405 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319405 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319406 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[...]
319406 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
319469 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319469 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319469 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319469 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319470 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[...]
319470 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
319533 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
319533 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319533 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319533 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319534 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[...]
319534 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
319598 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319598 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319598 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319598 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319599 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[...]
319599 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
319663 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319663 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319664 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319664 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319665 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[...]
319665 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
319728 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319728 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319729 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319729 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319731 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[...]
319731 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
319798 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319798 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319799 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319799 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319800 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[...]
319800 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
319867 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
319867 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319867 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319867 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319868 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[...]
319868 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
319932 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319933 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319933 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319933 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319934 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[...]
319934 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
320000 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320000 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320000 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320000 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320002 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[...]
320002 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
320064 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320064 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320064 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320064 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320065 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[...]
320066 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
320130 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320130 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320130 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320130 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320132 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[...]
320132 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
320194 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320194 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320194 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320194 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320196 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[...]
320197 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
320258 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
320258 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320258 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320260 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[...]
320260 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
320325 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320325 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320325 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320326 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
320326 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
320327 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[...]
320327 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
320391 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320391 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320391 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320391 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320394 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))
320394 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))
320394 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[...]
320394 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
320460 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320460 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320460 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320461 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320461 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
320461 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
320461 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[...]
320462 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
320577 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320577 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320577 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320578 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
320578 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
320578 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[...]
320579 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
320645 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
320645 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320645 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320645 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320646 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
320646 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
320646 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[...]
320646 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
320711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320711 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320712 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
320712 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320713 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
320713 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
320713 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[...]
320713 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
320777 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320777 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320777 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320777 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320778 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
320778 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
320778 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[...]
320778 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
320842 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320842 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320842 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320842 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320846 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[...]
320847 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
320909 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[...]
320910 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
320971 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320971 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
320972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320974 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[...]
320974 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
321036 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
321036 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
321036 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
321036 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0