357277 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[...]
357527 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357527 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[...]
357527 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
357606 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357606 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357606 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357606 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357606 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
357653 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[...]
357653 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
357731 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357731 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357731 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357731 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357731 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[...]
357731 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
357812 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357812 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357812 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357812 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357812 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[...]
357812 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
357874 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[...]
357874 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
357952 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357952 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357952 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357952 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357952 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
357952 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[...]
357952 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
358015 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358015 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358015 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358015 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358015 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
358015 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[...]
358015 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
358094 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[...]
358094 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
358156 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358156 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358156 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358156 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358172 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[...]
358172 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
358235 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358235 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358235 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358235 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358235 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
358235 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[...]
358235 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
358298 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358298 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358313 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[...]
358313 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
358376 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358376 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358376 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[...]
358376 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
358454 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358454 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358454 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358454 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358454 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[...]
358454 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
358534 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358534 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358534 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358534 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358534 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[...]
358534 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
358597 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358597 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358597 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358597 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358597 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[...]
358597 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
358675 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358675 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358675 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358675 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358675 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[...]
358675 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
358756 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[...]
358756 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
358823 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358823 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358823 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358823 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358823 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[...]
358823 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
358885 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358885 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358885 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358885 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358885 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[...]
358885 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
358948 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358948 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358948 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358948 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358948 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[...]
358948 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
359026 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359026 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359026 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359026 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359026 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[...]
359026 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
359092 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359092 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359092 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359092 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359107 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[...]
359107 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
359170 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359170 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359170 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359170 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359170 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[...]
359170 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
359233 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359233 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359233 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359248 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[...]
359248 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
359311 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359311 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359311 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359311 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359311 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[...]
359311 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
359374 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359374 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359374 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359374 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[...]
359374 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
359436 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359436 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359436 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359436 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359452 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[...]
359452 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
359514 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359514 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359514 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359514 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359514 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[...]
359514 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
359577 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359577 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359577 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359577 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[...]
359577 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
359639 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359639 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359655 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
359655 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359655 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[...]
359655 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
359717 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359717 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359717 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359717 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359717 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[...]
359717 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
359780 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359780 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359780 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359780 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359780 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[...]
359780 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
359842 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359842 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359842 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359842 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359842 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[...]
359858 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
359905 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359921 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359921 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359921 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359921 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[...]
359921 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
359983 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359983 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359983 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359983 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359983 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[...]
359983 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
360061 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360061 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360061 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360061 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360061 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[...]
360061 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
360139 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360139 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360139 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360139 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360139 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360139 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360139 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[...]
360139 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
360218 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360218 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360218 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360218 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360218 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))
360218 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))
360218 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[...]
360218 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
360296 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360296 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360296 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360296 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360296 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
360296 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
360296 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[...]
360312 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
360374 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360374 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360374 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360374 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360374 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360374 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[...]
360374 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
360438 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360438 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360438 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360438 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360438 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360438 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360438 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[...]
360438 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
360516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360516 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360516 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360516 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360516 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360516 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[...]
360516 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
360579 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360579 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360579 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360579 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360579 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
360579 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
360579 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[...]
360579 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
360641 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360641 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360641 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360641 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360657 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[...]
360657 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
360719 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[...]
360719 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
360782 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360782 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360782 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360782 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360797 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[...]
360797 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
360860 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360860 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360860 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360860 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0