356250 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[...]
356328 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356328 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356328 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356328 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356344 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[...]
356344 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
356422 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356422 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356422 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356422 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356422 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
356469 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[...]
356484 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
356547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356547 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[...]
356547 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
356625 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356625 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356625 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356625 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[...]
356625 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
356688 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[...]
356688 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
356750 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356750 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356750 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356750 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356750 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
356750 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[...]
356750 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
356813 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356813 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356813 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356813 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356813 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
356828 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[...]
356828 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
356891 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[...]
356891 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
356953 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356953 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356953 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356953 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356969 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[...]
356969 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
357031 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357031 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357031 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
357031 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[...]
357031 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
357110 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357110 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357110 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357110 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357110 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[...]
357110 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
357188 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357188 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357188 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357188 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[...]
357188 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
357266 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357266 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357266 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357266 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357266 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[...]
357266 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
357328 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357328 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357328 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357328 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357328 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[...]
357328 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
357407 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357407 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357407 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357407 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357407 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[...]
357407 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
357485 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357485 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357485 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357485 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357485 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[...]
357485 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
357547 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[...]
357547 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
357610 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357610 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357610 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 15
357625 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[...]
357625 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
357688 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357688 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357688 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357688 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357688 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[...]
357704 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
357766 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357766 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357766 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357766 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357766 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[...]
357782 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
357845 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357845 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357860 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
357860 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357860 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[...]
357860 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
358016 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358016 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358016 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358016 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358016 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[...]
358016 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
358096 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358096 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358096 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358096 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358096 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[...]
358096 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
358173 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358173 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358173 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358173 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358173 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[...]
358173 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
358251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358251 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358251 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358251 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358251 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[...]
358251 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
358314 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358329 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358329 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358329 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358329 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[...]
358329 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
358407 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358407 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358407 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358407 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358407 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[...]
358407 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
358470 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358470 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358470 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358470 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358486 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[...]
358486 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
358548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358548 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358548 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358548 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[...]
358548 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
358626 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358626 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358626 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358626 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358626 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[...]
358626 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
358704 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358704 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358704 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358704 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358704 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[...]
358704 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
358767 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358767 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358782 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
358782 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358782 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[...]
358782 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
358845 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358845 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358845 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358845 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358845 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[...]
358845 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
358923 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358923 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358923 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358923 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358923 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[...]
358923 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
359001 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359001 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359001 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359001 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359001 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[...]
359001 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
359064 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359064 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359064 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359064 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359079 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[...]
359079 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
359142 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359142 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359142 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359142 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359142 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
359142 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
359142 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[...]
359142 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
359204 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359220 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359220 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359220 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359220 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))
359220 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))
359220 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[...]
359220 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
359298 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359298 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359298 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
359298 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
359298 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[...]
359298 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
359361 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359361 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359361 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359361 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359361 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
359361 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
359361 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[...]
359376 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
359439 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359439 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359439 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359439 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359439 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
359439 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
359439 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[...]
359439 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
359501 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359517 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359517 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359517 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359517 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
359517 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
359517 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[...]
359517 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
359611 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359611 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359611 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359611 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359611 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
359611 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
359611 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[...]
359611 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
359689 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359689 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359689 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359689 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[...]
359689 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
359783 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[...]
359783 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
359845 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359845 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359845 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359845 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359877 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[...]
359877 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
359955 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359955 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359955 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359955 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0