314942 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[...]
315034 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315034 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315035 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
315035 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315036 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[...]
315037 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
315131 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315131 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315131 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315131 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315133 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
315206 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[...]
315207 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
315304 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315304 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315304 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315310 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[...]
315310 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
315404 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315404 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315404 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315404 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315405 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[...]
315405 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
315506 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[...]
315506 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
315597 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315597 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315597 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315597 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315599 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
315599 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[...]
315600 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
315691 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
315691 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315691 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315691 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315692 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
315692 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[...]
315693 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
315784 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[...]
315785 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
315886 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[...]
315886 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
315979 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
315979 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
315979 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
315979 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
315982 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
315983 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[...]
315983 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
316073 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316073 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316073 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316074 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
316076 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[...]
316076 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
316171 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316171 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316173 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[...]
316174 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
316264 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316265 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316265 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316267 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[...]
316267 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
316362 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316363 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316363 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316363 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316363 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[...]
316364 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
316460 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316460 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316460 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316460 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316462 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[...]
316464 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
316560 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316560 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316560 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316560 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316562 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[...]
316562 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
316655 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[...]
316656 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
316752 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316752 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316752 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316752 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316753 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[...]
316753 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
316847 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
316847 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316847 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316847 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316848 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[...]
316849 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
316942 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316942 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316942 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316942 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316944 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[...]
316944 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
317037 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317037 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317037 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317037 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317038 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[...]
317039 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
317131 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317131 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317131 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317131 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317132 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[...]
317133 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
317225 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317225 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317225 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317225 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317226 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[...]
317227 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
317318 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317318 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317318 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317318 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317319 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[...]
317320 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
317410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317410 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317411 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[...]
317412 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
317505 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317505 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317505 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317505 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317506 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[...]
317507 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
317597 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317597 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317597 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317597 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317599 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[...]
317599 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
317688 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317689 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317689 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317691 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[...]
317691 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
317784 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317784 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317784 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317784 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317785 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[...]
317786 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
317883 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
317884 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
317884 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
317884 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
317885 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[...]
317885 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
318001 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318001 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318002 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318002 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318003 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[...]
318004 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
318099 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318099 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318100 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318100 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318102 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[...]
318103 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
318194 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318195 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318195 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318195 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318199 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[...]
318199 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
318292 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318293 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318293 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318293 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318298 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[...]
318298 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
318390 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318390 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318390 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318391 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
318394 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[...]
318394 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
318486 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318486 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318486 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318487 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318489 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[...]
318490 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
318582 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318582 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318582 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318583 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318584 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
318584 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
318585 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[...]
318586 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
318676 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318677 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318677 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
318677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318680 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))
318690 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))
318691 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[...]
318692 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.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
318802 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
318803 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[...]
318803 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
318900 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
318900 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318900 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318900 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318901 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
318901 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
318901 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[...]
318902 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
318997 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318997 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318998 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318998 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318999 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
318999 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
319000 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[...]
319000 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
319105 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
319105 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319106 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319106 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319108 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
319109 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
319109 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[...]
319110 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
319205 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319206 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319206 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319206 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319207 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
319207 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
319207 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[...]
319207 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
319299 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319300 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319300 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319300 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319303 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[...]
319303 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 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
319561 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319561 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
319562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
319564 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[...]
319565 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
319662 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
319662 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
319663 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
319663 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0