357670 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[...]
357733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357733 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357733 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[...]
357733 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
357811 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357811 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357811 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357811 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357811 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
357858 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[...]
357858 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
357936 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357936 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357936 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357936 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357952 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
357952 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
358014 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358014 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358014 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[...]
358014 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
358092 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[...]
358092 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
358155 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358155 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358155 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358155 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358155 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
358155 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[...]
358170 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
358233 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358233 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358233 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358233 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
358233 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[...]
358233 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
358296 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[...]
358296 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
358374 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358374 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358374 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358374 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[...]
358374 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
358452 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358452 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358452 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358452 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358452 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
358452 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[...]
358452 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
358531 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358531 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358531 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358531 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358531 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[...]
358531 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
358609 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358609 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358609 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358609 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358609 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[...]
358609 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
358671 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358671 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358671 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358687 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 16
358687 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[...]
358687 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
358749 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358749 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358749 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358749 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358749 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[...]
358749 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
358827 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358827 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358827 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358827 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358827 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[...]
358827 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
358906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358906 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358906 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358906 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[...]
358906 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
358968 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[...]
358968 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
359031 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359031 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359031 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[...]
359031 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
359109 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359109 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359109 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359109 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359109 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[...]
359109 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
359187 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359187 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359187 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359187 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359187 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[...]
359187 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
359249 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359249 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359249 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359249 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359249 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[...]
359249 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
359359 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359359 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359359 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359359 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359359 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[...]
359359 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
359421 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359421 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359421 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359421 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359421 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[...]
359421 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
359499 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359499 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359499 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359499 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359499 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[...]
359499 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
359562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359578 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[...]
359578 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
359640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359640 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[...]
359656 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
359718 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359718 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359718 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359718 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359718 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[...]
359718 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
359796 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359796 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359796 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359796 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359796 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[...]
359796 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
359859 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359859 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359859 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359859 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359874 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[...]
359874 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
359953 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359953 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359953 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359953 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359953 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[...]
359953 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
360031 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360031 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360031 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[...]
360031 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
360093 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360093 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360093 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360093 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360109 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[...]
360109 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
360171 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360171 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360171 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[...]
360171 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
360234 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360234 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360234 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360234 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360250 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[...]
360250 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
360312 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360312 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360312 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360312 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360312 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360312 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
360375 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360375 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360375 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360375 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360375 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[...]
360375 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
360453 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360453 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360453 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360453 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360453 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360453 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360453 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[...]
360453 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
360516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360516 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360516 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360516 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: all{l:int}(and(\<{
int globalIntPV = 0;
}\> (update-application(elem-update(globalIntPV)(l),false)),true))
360516 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))
360516 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360516 WARN Test worker d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown
360594 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360594 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360594 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360594 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360594 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
360594 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
360594 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[...]
360594 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
360657 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360657 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360657 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360657 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360672 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360672 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360672 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[...]
360672 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
360735 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360735 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360735 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360735 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360735 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360735 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360735 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[...]
360735 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
360813 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360813 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360813 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360813 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360813 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360813 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360813 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[...]
360813 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
360876 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360876 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360876 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360876 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360891 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
360891 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
360891 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[...]
360891 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
360954 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360954 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360954 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360954 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360969 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[...]
360969 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
361032 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[...]
361032 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
361110 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361110 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361110 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361110 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361141 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[...]
361141 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
361220 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361220 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361220 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361220 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0