564339 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[...]
564410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564410 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564425 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[...]
564425 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
564504 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564504 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564504 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564504 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564504 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
564566 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[...]
564566 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
564629 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564629 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564629 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564629 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564645 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[...]
564645 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
564707 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564707 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564723 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
564723 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564723 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[...]
564723 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
564785 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[...]
564785 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
564863 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564863 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564863 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564863 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564879 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
564879 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[...]
564879 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
564942 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564942 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564942 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564942 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564957 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
564957 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[...]
564957 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
565035 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[...]
565035 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
565098 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565098 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565098 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565098 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565113 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[...]
565113 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
565193 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565193 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565193 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565193 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565193 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
565193 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[...]
565193 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
565271 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565271 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565271 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565271 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565271 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[...]
565271 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
565349 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565349 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565349 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565349 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565349 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[...]
565349 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
565427 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565427 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565427 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565427 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565427 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[...]
565443 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
565505 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565505 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565505 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565505 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565505 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[...]
565505 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
565584 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565584 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565584 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565584 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565584 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[...]
565599 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
565662 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565662 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565662 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565662 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565662 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[...]
565677 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
565742 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[...]
565742 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
565836 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565836 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565836 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565836 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565836 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[...]
565836 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
565914 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565914 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565914 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565914 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565914 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[...]
565914 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
565996 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
565996 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565996 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565996 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565996 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[...]
565996 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
566059 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566059 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566059 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566059 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566074 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[...]
566074 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
566137 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566137 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566137 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566152 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[...]
566152 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
566231 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566231 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566231 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566231 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566231 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[...]
566231 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
566309 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566309 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566309 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566309 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566309 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[...]
566309 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
566388 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566388 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566388 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566388 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566403 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[...]
566403 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
566482 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566482 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566482 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566482 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566482 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[...]
566482 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
566565 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566565 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566565 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566565 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566565 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[...]
566565 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
566643 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566643 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566643 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566643 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566643 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[...]
566643 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
566722 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566722 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566722 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566722 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566722 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[...]
566737 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
566815 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566815 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566815 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566815 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566815 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[...]
566815 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
566893 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566893 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566893 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566893 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[...]
566893 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
566972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566972 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566987 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[...]
566987 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
567065 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567065 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567065 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567065 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567065 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[...]
567065 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
567159 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567159 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567159 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567159 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567159 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[...]
567159 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
567253 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567253 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567253 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567253 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[...]
567253 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
567347 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567347 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567347 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[...]
567347 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
567440 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567440 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567440 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567440 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567440 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
567440 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
567440 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[...]
567440 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
567509 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567509 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567509 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567509 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567509 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))
567524 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))
567524 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[...]
567524 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
567603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567603 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
567603 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
567603 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[...]
567603 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
567681 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567681 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567681 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
567681 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
567681 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[...]
567681 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
567759 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567759 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567759 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567759 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567759 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
567759 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
567759 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[...]
567759 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
567837 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567837 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567837 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567837 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567837 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
567837 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
567837 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[...]
567837 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
567915 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567915 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567915 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567915 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567915 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
567915 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
567915 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[...]
567915 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
567993 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567993 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568009 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
568009 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568009 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[...]
568009 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
568087 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[...]
568087 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
568165 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568165 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568165 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568165 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568181 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[...]
568181 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
568259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568259 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568259 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0