357529 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[...]
357630 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357630 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357631 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357631 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357632 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[...]
357633 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
357711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357711 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357711 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357712 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
357772 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[...]
357772 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
357856 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357856 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357856 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357856 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357863 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[...]
357864 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
357934 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357934 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357934 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357935 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
357936 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[...]
357936 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
358006 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[...]
358007 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
358074 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
358074 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358074 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358074 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358076 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
358076 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[...]
358076 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
358145 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358145 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358145 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358146 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358147 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
358147 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[...]
358147 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
358218 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[...]
358219 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
358293 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358293 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358293 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358294 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
358298 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[...]
358299 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
358368 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358368 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358368 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358368 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358370 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
358371 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[...]
358371 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
358445 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358445 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358446 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
358446 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358447 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[...]
358448 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
358524 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
358524 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358525 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
358529 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[...]
358530 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
358608 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358608 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358608 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358608 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358610 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[...]
358611 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
358686 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358687 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358687 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 0
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[...]
358688 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
358765 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358765 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358765 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358765 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358767 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[...]
358767 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
358844 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358844 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358844 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 1
358846 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[...]
358846 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
358922 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[...]
358922 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
358997 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358997 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358998 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
358998 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358998 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[...]
358998 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
359074 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359074 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359074 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359074 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359075 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[...]
359076 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
359150 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359150 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359150 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359150 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359151 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[...]
359152 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
359226 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359226 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359226 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359227 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[...]
359227 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
359297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359297 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
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[...]
359299 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
359368 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359368 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359368 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359368 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359369 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[...]
359370 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
359440 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359440 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359440 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359440 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359441 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[...]
359442 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
359516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359516 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359516 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 1
359530 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[...]
359531 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
359608 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359608 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359608 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359608 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359609 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[...]
359609 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
359691 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
359691 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359691 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359692 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
359693 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[...]
359694 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
359770 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359770 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359770 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359770 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359773 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[...]
359774 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
359894 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
359894 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359895 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
359895 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359897 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[...]
359897 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
359969 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
359969 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
359969 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
359969 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
359971 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[...]
359971 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
360049 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360049 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360049 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360050 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360051 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[...]
360052 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
360122 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360122 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360122 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360123 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360124 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[...]
360125 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
360193 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360193 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360193 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360193 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360194 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[...]
360195 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
360274 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360275 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360275 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360275 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360281 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[...]
360282 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
360352 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360353 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360353 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360354 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
360356 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[...]
360357 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
360426 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360426 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360427 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
360427 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360429 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[...]
360430 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
360504 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360504 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360504 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360505 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
360506 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360506 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
360506 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[...]
360507 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
360576 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360576 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360576 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360576 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360579 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))
360579 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))
360580 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[...]
360586 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
360660 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360661 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360661 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360661 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360662 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
360662 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
360663 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[...]
360666 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
360738 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
360738 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360738 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360738 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360743 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360743 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
360744 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[...]
360745 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
360822 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360822 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360823 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
360823 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360824 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360824 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360824 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[...]
360824 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
360900 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360900 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360900 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360900 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360901 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
360901 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
360902 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[...]
360902 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
360975 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360975 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360975 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360975 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360976 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
360976 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
360976 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[...]
360977 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
361047 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361047 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361047 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361047 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361050 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[...]
361051 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
361126 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[...]
361127 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
361199 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361199 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361200 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
361200 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361203 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[...]
361203 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
361278 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361279 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361279 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361279 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0