352905 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[...]
353012 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353012 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353013 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353015 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353016 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[...]
353017 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
353099 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
353099 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353100 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353100 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353101 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
353154 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[...]
353155 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
353232 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353234 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353234 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
353234 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353238 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[...]
353239 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
353319 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353320 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353320 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
353321 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353322 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[...]
353322 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
353395 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[...]
353395 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
353472 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353473 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353473 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
353474 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
353475 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
353477 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[...]
353477 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
353551 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353552 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353553 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353553 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353554 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
353556 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[...]
353557 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
353634 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[...]
353634 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
353712 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353712 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353713 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353713 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353718 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[...]
353718 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
353798 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353798 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353799 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353799 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353801 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
353802 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[...]
353803 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
353884 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353886 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353887 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
353887 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353889 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[...]
353890 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
353972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
353974 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
353974 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
353974 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
353977 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[...]
353978 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
354052 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354053 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354053 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354054 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354056 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[...]
354057 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
354134 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354136 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[...]
354137 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
354215 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354217 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354217 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354218 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
354219 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[...]
354220 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
354298 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
354298 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354299 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354300 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[...]
354301 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
354374 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[...]
354375 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
354447 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354447 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354447 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354447 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354448 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[...]
354448 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
354519 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354519 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354519 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354520 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
354520 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[...]
354521 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
354593 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354593 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354593 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354593 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354594 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[...]
354595 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
354664 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354664 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354664 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354664 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354666 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[...]
354666 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
354737 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354738 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354738 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354738 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354739 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[...]
354739 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
354809 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354809 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354809 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354810 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
354811 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[...]
354811 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
354883 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354883 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354883 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354883 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354884 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[...]
354885 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
354957 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
354957 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
354957 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
354957 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
354958 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[...]
354959 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
355030 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355030 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
355031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355032 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[...]
355032 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
355103 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355103 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355103 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355104 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
355105 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[...]
355105 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
355176 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355176 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355176 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355176 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355179 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[...]
355179 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
355251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355251 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355251 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355251 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355252 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[...]
355253 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
355324 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355324 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355324 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355326 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[...]
355326 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
355399 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
355399 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355399 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355399 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355401 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[...]
355401 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
355474 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355475 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355475 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355475 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355476 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[...]
355477 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
355550 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355550 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355550 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355550 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355551 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[...]
355552 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
355623 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355623 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355624 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
355624 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355627 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[...]
355627 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
355697 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355697 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355697 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355697 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355699 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[...]
355700 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
355774 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355774 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355774 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355774 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355776 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[...]
355777 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
355853 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355853 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355854 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
355854 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355855 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
355856 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
355858 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[...]
355864 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
355940 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355940 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355940 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355940 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355946 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))
355946 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))
355947 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[...]
355948 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
356023 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356023 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356023 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356023 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356024 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
356024 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
356024 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[...]
356024 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
356097 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
356097 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356097 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356097 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356098 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
356098 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
356098 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[...]
356099 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
356167 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356167 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356167 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356167 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356168 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
356168 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
356168 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[...]
356169 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
356244 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356244 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356244 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356244 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356245 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
356245 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
356245 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[...]
356246 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
356319 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356319 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356319 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356319 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356321 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
356321 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
356321 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[...]
356321 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
356394 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356394 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356394 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356394 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356397 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[...]
356397 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
356471 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[...]
356472 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
356548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
356548 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356548 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356551 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[...]
356551 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
356682 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356682 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356682 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356682 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0