360439 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[...]
360506 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360506 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360506 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360506 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360506 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T extends java.lang.Object{ private T a;private static T b;T c;static T d;public T e;public static T f;protected T g;protected T h;p[...]
360506 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
360578 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360578 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360578 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360578 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360578 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
360640 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[...]
360640 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
360703 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360703 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360703 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360703 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360703 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[...]
360703 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
360765 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360765 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360765 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360765 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360781 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[...]
360781 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
360828 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[...]
360828 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
360906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360906 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360906 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360906 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
360906 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[...]
360906 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
360984 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360984 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360984 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360984 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360984 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
360984 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[...]
360984 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
361046 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[...]
361046 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
361127 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361127 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361127 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361127 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361142 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[...]
361142 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
361210 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361210 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361210 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361210 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361210 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
361210 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[...]
361210 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
361273 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361273 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361273 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361273 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361273 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[...]
361273 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
361351 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
361351 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361351 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361351 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361351 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[...]
361351 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
361429 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361429 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361429 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361429 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361429 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[...]
361429 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
361523 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
361523 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361523 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361523 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[...]
361523 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
361585 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361585 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361601 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
361601 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361601 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[...]
361601 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
361663 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361663 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361663 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361663 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361663 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[...]
361663 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
361741 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[...]
361741 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
361804 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361804 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361804 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361804 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361804 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[...]
361804 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
361882 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361882 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361882 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361882 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361882 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[...]
361882 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
361945 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361945 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361945 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361945 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361945 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[...]
361945 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
362023 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
362023 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362023 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362023 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362023 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[...]
362023 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
362085 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362085 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362085 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362085 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362085 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[...]
362085 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
362154 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362154 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362169 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
362169 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362169 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[...]
362169 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
362232 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362232 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362232 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362232 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362232 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[...]
362232 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
362295 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362295 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362295 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362295 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362295 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[...]
362310 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
362373 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362373 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362373 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362373 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362373 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[...]
362373 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
362436 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362436 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362436 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362436 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362436 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[...]
362436 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
362514 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362514 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362514 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362514 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362514 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[...]
362514 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
362592 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362592 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362592 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362592 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362592 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[...]
362592 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
362655 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362655 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362655 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362655 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362655 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[...]
362655 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
362733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362733 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362733 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[...]
362733 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
362798 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362798 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362798 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362798 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362813 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[...]
362813 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
362876 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362876 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362876 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362876 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362876 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[...]
362876 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
362938 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362938 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362954 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
362954 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362954 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[...]
362954 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
363016 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363016 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363016 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363016 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363016 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[...]
363016 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
363098 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
363098 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363098 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363098 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363098 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[...]
363098 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
363161 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363161 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363161 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363161 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363161 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
363161 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
363161 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[...]
363161 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
363239 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363239 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363239 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363239 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363239 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))
363239 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))
363254 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[...]
363254 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
363317 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363317 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363317 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363317 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363317 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
363317 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
363317 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[...]
363317 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
363379 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363379 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363379 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363379 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363395 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
363395 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
363395 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[...]
363395 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
363458 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363458 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363458 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363458 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363458 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
363458 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
363458 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[...]
363458 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
363536 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363536 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363536 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363536 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
363536 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
363536 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[...]
363536 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
363614 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363614 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363614 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363614 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363614 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
363614 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
363614 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[...]
363614 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
363677 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363677 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363692 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
363692 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363708 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[...]
363708 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
363791 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[...]
363791 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
363921 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363921 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363921 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363921 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363937 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[...]
363937 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
363999 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363999 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363999 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363999 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0