558482 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[...]
558561 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
558561 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
558561 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
558561 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
558561 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[...]
558561 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
558655 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
558655 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
558655 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
558655 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
558655 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
558717 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[...]
558717 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
558795 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
558795 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
558795 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
558795 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
558795 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[...]
558795 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
558889 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
558889 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
558889 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
558889 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
558889 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[...]
558889 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
558967 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[...]
558967 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
559030 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559030 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559030 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559030 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559030 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
559045 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[...]
559045 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
559116 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559116 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559116 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559116 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559116 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
559116 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[...]
559116 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
559194 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[...]
559225 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
559303 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559303 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559303 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559303 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559303 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[...]
559303 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
559381 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559381 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559381 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559381 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
559381 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[...]
559381 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
559475 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
559475 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559475 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559475 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559475 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[...]
559475 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
559538 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559538 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559538 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559538 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559553 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[...]
559553 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
559616 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559616 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559631 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
559631 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559631 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[...]
559631 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
559710 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559710 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559710 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559710 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559710 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[...]
559710 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
559772 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559772 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559772 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559772 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559772 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[...]
559772 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
559866 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
559866 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
559866 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
559866 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
559866 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[...]
559866 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
559933 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[...]
559949 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
560014 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560014 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560014 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[...]
560014 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
560092 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
560092 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560092 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560092 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560092 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[...]
560092 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
560171 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560171 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560171 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[...]
560171 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
560234 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560234 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560234 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560234 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560249 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[...]
560249 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
560312 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560312 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560312 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560312 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560312 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[...]
560312 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
560390 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560390 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560390 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560390 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[...]
560390 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
560507 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560507 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560507 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560507 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560507 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[...]
560507 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
560585 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560585 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560585 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560585 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560585 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[...]
560585 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
560650 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560650 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560650 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560650 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560650 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[...]
560650 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
560726 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560726 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560726 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560726 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560726 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[...]
560726 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
560804 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560804 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560804 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560804 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560804 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[...]
560804 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
560882 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560882 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560882 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560882 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560882 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[...]
560882 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
560960 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
560960 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
560960 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
560960 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
560960 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[...]
560960 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
561039 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561039 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561039 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561039 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561039 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[...]
561039 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
561117 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561117 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561117 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561117 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561132 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[...]
561132 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
561198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561198 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561214 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[...]
561214 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
561283 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561283 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561283 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561283 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561283 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[...]
561283 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
561362 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561362 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561362 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561362 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561362 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[...]
561362 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
561424 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561424 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561424 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561424 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561424 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[...]
561440 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
561504 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561504 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561504 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561504 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561504 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
561504 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
561504 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[...]
561504 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
561597 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561597 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561597 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561597 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561597 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))
561597 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))
561597 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[...]
561597 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
561676 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561676 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561676 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561676 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561676 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
561676 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
561676 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[...]
561676 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
561754 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561754 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561754 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561754 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561754 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
561754 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
561754 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[...]
561754 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
561832 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561832 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561832 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561832 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561832 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
561832 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
561832 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[...]
561832 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
561895 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561910 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561910 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561910 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561910 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
561910 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
561910 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[...]
561910 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
561978 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
561978 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
561978 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
561978 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
561978 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
561978 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
561978 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[...]
561978 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
562056 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
562056 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
562056 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
562056 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
562072 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[...]
562072 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
562137 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[...]
562137 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
562215 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
562215 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
562215 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
562215 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
562231 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[...]
562231 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
562309 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
562309 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
562309 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
562309 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0