385342 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[...]
385420 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385420 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385420 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385420 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385420 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[...]
385420 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
385519 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385520 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385520 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385520 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385521 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
385579 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[...]
385579 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
385641 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385641 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385641 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385641 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385641 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[...]
385657 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
385720 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385720 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385720 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385720 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385720 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[...]
385720 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
385782 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[...]
385782 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
385860 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385860 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385860 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385860 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385860 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
385860 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[...]
385860 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
385939 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385939 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385939 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385939 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385941 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
385941 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[...]
385941 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
386001 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[...]
386001 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
386080 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386080 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386080 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386080 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386080 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[...]
386080 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
386158 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386158 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386158 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386158 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386158 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
386158 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[...]
386158 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
386236 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386236 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386236 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386236 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386252 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[...]
386252 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
386330 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386330 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386330 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386330 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386330 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[...]
386330 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
386408 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386408 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386408 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386408 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386408 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[...]
386408 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
386470 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386470 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386470 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386470 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386470 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[...]
386470 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
386554 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386554 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386554 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386554 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386554 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[...]
386554 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
386617 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386617 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386617 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386617 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386633 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[...]
386633 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
386715 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[...]
386715 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
386778 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386778 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386778 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386778 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386778 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[...]
386778 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
386856 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386856 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386856 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386856 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386856 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[...]
386856 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
386918 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
386918 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
386918 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
386949 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
386949 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[...]
386949 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
387028 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387028 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387028 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387028 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387028 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[...]
387028 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
387106 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387106 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387106 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387106 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387106 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[...]
387106 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
387184 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387184 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387184 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387184 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387184 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[...]
387200 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
387262 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387262 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387262 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387262 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387262 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[...]
387278 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
387347 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387347 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387347 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[...]
387347 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
387409 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387409 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387409 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387409 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387425 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[...]
387425 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
387487 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387487 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387487 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387487 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387487 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[...]
387487 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
387567 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387567 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387567 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387567 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387567 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[...]
387567 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
387645 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387645 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387645 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387645 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387645 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[...]
387645 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
387708 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387708 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387708 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387724 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 16
387724 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[...]
387724 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
387786 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387786 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387786 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387786 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387802 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[...]
387802 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
387859 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387859 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387859 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387874 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 15
387874 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[...]
387874 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
387937 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
387937 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
387937 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
387937 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
387952 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[...]
387952 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
388016 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388016 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388016 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388016 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388031 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[...]
388031 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
388166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388166 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388166 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388166 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[...]
388166 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
388244 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388244 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388244 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388244 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388244 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[...]
388244 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
388322 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388322 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388322 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388322 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388322 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
388322 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
388322 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[...]
388322 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
388400 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388400 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388400 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388400 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388400 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))
388400 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))
388400 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[...]
388400 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
388478 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388478 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388478 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388478 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388478 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
388478 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
388478 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[...]
388478 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
388547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388547 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
388547 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
388547 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[...]
388547 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
388625 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388625 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388625 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388625 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
388625 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
388625 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[...]
388625 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
388703 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388703 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388703 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388703 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388703 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
388703 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
388703 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[...]
388703 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
388781 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388781 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388781 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388781 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388781 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
388781 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
388781 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[...]
388781 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
388859 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
388859 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
388859 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
388859 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
388859 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[...]
388859 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
388940 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[...]
388940 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
389002 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
389002 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
389002 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
389002 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
389049 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[...]
389049 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
389127 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
389127 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
389127 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
389127 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0