315067 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[...]
315145 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315145 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315145 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315145 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315146 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[...]
315147 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
315225 INFO Test worker d.u.i.k.n.KeyIO Parsing took 9 ms
315225 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315225 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315225 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315226 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
315277 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[...]
315277 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
315338 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
315338 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315338 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315338 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315341 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[...]
315342 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
315402 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315402 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315402 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315402 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315403 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[...]
315404 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
315465 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[...]
315465 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
315527 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315528 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
315529 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
315529 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[...]
315530 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
315599 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315599 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315599 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315599 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315600 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
315601 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[...]
315601 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
315667 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[...]
315667 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
315734 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315734 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315734 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315734 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315743 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[...]
315744 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
315808 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315809 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315809 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315810 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
315811 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
315813 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[...]
315814 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
315879 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315879 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315880 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
315880 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315882 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[...]
315883 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
315946 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
315946 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315947 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
315947 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315950 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[...]
315951 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
316013 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316014 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316016 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[...]
316017 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
316078 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316078 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316078 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316079 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316079 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[...]
316080 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
316143 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316144 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316144 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316144 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316145 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[...]
316146 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
316211 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316211 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316211 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316211 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316212 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[...]
316213 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
316277 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[...]
316278 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
316339 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316340 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316340 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316340 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316341 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[...]
316342 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
316405 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316406 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316406 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316406 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316408 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[...]
316408 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
316471 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316472 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316472 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316472 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316473 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[...]
316474 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
316536 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316536 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316536 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316537 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[...]
316538 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
316609 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316609 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316611 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 2 ms
316611 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316613 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[...]
316613 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
316676 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316676 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316677 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
316677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316678 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[...]
316679 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
316741 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316741 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316741 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316741 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316742 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[...]
316742 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
316807 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316807 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316807 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316807 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316808 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[...]
316809 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
316879 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316879 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316880 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
316880 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316881 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[...]
316882 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
316945 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316945 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316945 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316945 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316948 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[...]
316949 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
317015 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317015 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317016 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317016 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317018 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[...]
317019 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
317083 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317083 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317083 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317083 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317085 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[...]
317086 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
317153 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317153 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317153 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317154 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
317156 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[...]
317156 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
317223 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317223 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317223 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317224 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
317225 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[...]
317226 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
317294 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317294 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317294 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317294 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317296 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[...]
317297 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
317358 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317358 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317358 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317358 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317360 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[...]
317360 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
317425 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
317425 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317425 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317425 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317427 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[...]
317428 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
317491 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317492 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317492 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317492 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317494 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[...]
317494 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
317557 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
317557 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317557 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317557 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317559 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[...]
317559 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
317620 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317620 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317620 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317620 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317621 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
317621 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
317622 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[...]
317622 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
317730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317730 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317731 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
317733 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))
317734 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))
317734 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[...]
317734 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
317803 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317803 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317803 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317803 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317804 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
317804 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
317804 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[...]
317804 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
317866 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317866 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317866 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317866 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317867 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
317867 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
317868 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[...]
317868 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
317931 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317931 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317932 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
317932 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317933 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
317933 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
317933 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[...]
317933 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
317997 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317997 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317997 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317997 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317998 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
317998 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
317998 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[...]
317998 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
318066 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318066 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318066 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318066 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318067 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
318067 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
318068 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[...]
318068 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
318132 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318132 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318132 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318132 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318135 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[...]
318136 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
318204 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[...]
318204 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
318268 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318268 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318268 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318269 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318276 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[...]
318277 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
318412 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318412 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318412 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318412 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0