390651 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[...]
390730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
390730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
390730 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
390730 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
390730 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[...]
390730 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
390872 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
390872 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
390872 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
390872 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
390872 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
390934 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[...]
390934 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
391012 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391012 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391012 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391012 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391028 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[...]
391028 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
391106 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391106 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391106 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391106 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391106 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[...]
391106 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
391184 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[...]
391184 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
391263 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391263 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391263 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391263 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391263 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
391263 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[...]
391263 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
391341 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391341 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391341 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391341 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391341 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
391357 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[...]
391357 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
391435 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[...]
391435 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
391513 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391513 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391513 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391513 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391529 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[...]
391529 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
391733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 110 ms
391733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391748 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
391748 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391748 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
391748 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[...]
391748 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
391841 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391841 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391841 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391841 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
391841 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[...]
391841 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
391920 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
391920 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
391920 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
391935 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 15
391936 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[...]
391936 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
392014 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392014 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392014 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[...]
392014 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
392107 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392107 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392107 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392107 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392107 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[...]
392107 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
392186 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392186 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392186 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392186 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392186 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[...]
392186 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
392264 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392264 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392264 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392264 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392264 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[...]
392264 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
392357 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[...]
392357 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
392436 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392436 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392436 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392436 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392451 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[...]
392451 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
392529 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392529 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392529 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392529 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392529 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[...]
392529 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
392607 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392607 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392607 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392623 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392623 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[...]
392623 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
392701 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392701 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392701 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392701 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392701 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[...]
392701 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
392779 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392779 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392811 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[...]
392811 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
392889 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392889 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392889 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392889 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392889 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[...]
392889 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
392969 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392969 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392983 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 14 ms
392983 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392983 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[...]
392983 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
393061 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393061 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393061 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393061 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393061 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[...]
393061 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
393139 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393139 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393139 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393139 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393139 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[...]
393139 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
393217 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393217 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393217 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393217 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393217 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[...]
393217 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
393295 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393295 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393295 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393295 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393311 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[...]
393311 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
393389 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393389 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393389 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393389 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393389 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[...]
393389 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
393467 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393467 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393467 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393467 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393467 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[...]
393467 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
393562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393577 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[...]
393577 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
393655 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393655 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393655 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393655 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393655 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[...]
393670 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
393748 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393748 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393748 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393748 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[...]
393748 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
393858 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393858 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393858 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393858 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393858 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[...]
393858 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
393936 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
393936 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
393936 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
393936 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
393952 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[...]
393952 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
394030 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394030 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394030 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394030 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394030 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[...]
394030 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
394124 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394124 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394124 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394124 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394124 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
394124 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
394124 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[...]
394124 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
394203 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394203 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394203 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394203 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394203 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))
394203 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))
394203 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[...]
394203 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
394297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394297 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394297 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
394297 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
394297 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[...]
394297 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
394390 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394390 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394390 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394390 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
394390 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
394390 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[...]
394390 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
394469 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394469 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394469 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394469 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394469 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
394469 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
394469 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[...]
394469 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
394562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394562 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
394562 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
394562 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[...]
394562 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
394640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394640 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
394640 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
394640 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[...]
394640 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
394719 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394719 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394719 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394719 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394719 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[...]
394719 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
394797 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[...]
394797 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
394891 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394891 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394891 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394891 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394891 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[...]
394891 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
394969 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394969 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394969 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394969 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0