504181 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[...]
504243 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504243 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504243 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504243 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504268 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[...]
504268 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
504372 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504373 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504373 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
504375 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
504421 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[...]
504421 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
504483 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504483 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504483 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504483 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504483 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[...]
504483 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
504546 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504546 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504546 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504546 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504546 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[...]
504546 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
504608 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[...]
504608 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
504671 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504671 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504671 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504671 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504671 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
504686 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[...]
504686 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
504749 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504749 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504749 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504749 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504749 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
504749 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[...]
504749 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
504811 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[...]
504811 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
504874 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
504874 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504874 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504874 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504874 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[...]
504874 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
504937 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
504937 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504937 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504937 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504937 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
504937 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[...]
504937 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
505015 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505015 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505015 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505015 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505015 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[...]
505015 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
505077 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505077 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505077 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505077 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505077 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[...]
505077 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
505155 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505155 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505155 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505155 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505155 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[...]
505155 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
505218 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505218 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505218 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505218 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505218 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[...]
505218 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
505297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
505297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505297 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
505299 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[...]
505300 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
505365 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505365 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505365 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505365 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[...]
505365 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
505428 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[...]
505428 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
505506 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505506 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505506 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505506 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505506 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[...]
505506 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
505568 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505568 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505568 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505568 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505568 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[...]
505568 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
505631 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505647 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505647 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505647 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505647 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[...]
505647 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
505709 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505709 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505709 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505709 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505709 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[...]
505709 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
505772 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505772 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505772 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505772 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505772 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[...]
505772 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
505850 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505850 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505850 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505850 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505850 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[...]
505850 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
505959 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
505959 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
505959 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
505959 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
505959 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[...]
505959 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
506038 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506038 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506038 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506038 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506038 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[...]
506038 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
506108 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506108 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506108 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506108 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506108 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[...]
506108 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
506155 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506155 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506155 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506155 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506155 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[...]
506171 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
506218 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506218 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506218 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506218 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506233 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[...]
506233 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
506296 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506296 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506296 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506296 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506296 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[...]
506296 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
506358 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506358 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506358 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506358 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506358 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[...]
506358 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
506421 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506421 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506436 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
506436 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506436 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[...]
506436 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
506499 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506499 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506499 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506499 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506499 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[...]
506499 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
506577 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506577 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506577 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506577 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[...]
506577 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
506646 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506646 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506646 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506646 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506646 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[...]
506646 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
506724 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506724 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506724 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506724 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506724 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[...]
506724 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
506796 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506796 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506796 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506796 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506796 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[...]
506796 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
506869 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506869 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506869 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506869 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506869 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
506869 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
506869 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[...]
506869 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
506931 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506931 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506931 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506931 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506931 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))
506931 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))
506931 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[...]
506931 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
506994 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506994 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506994 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506994 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506994 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
506994 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
506994 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[...]
506994 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
507057 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507057 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507057 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507057 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507057 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
507057 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
507057 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[...]
507057 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
507135 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507135 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
507135 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
507135 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[...]
507135 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
507198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507198 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507198 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
507198 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
507198 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[...]
507213 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
507276 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507276 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507276 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507276 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507276 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
507276 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
507276 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[...]
507276 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
507339 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507339 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507339 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507339 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507339 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[...]
507339 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
507417 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[...]
507417 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
507479 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507479 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507479 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
507479 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
507511 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[...]
507511 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
507573 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
507573 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
507589 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
507589 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0