375400 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[...]
375478 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375478 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375478 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375478 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375478 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[...]
375478 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
375541 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375541 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375541 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375541 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375557 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
375603 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[...]
375603 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
375682 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375682 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375682 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375682 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375682 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[...]
375682 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
375760 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375760 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375760 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375760 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375760 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[...]
375760 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
375823 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[...]
375823 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
375885 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375885 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375885 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375885 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375885 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
375901 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[...]
375901 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
376026 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376026 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376026 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376026 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376026 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
376026 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[...]
376026 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
376089 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[...]
376089 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
376167 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376167 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376167 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376167 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376167 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[...]
376167 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
376229 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376229 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376229 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376229 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376229 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
376245 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[...]
376245 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
376307 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376323 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376323 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376323 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376323 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[...]
376323 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
376385 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376385 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376385 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376385 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[...]
376401 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
376464 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376464 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376464 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376464 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376464 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[...]
376464 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
376542 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376542 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376542 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376542 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376542 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[...]
376542 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
376604 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376604 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376620 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
376620 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376620 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[...]
376620 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
376682 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376682 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376682 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376682 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376682 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[...]
376682 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
376760 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[...]
376760 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
376839 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376839 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376839 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376839 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376839 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[...]
376839 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
376917 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
376932 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
376932 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
376932 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
376932 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[...]
376932 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
377011 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377011 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377011 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377011 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377011 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[...]
377011 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
377073 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377073 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377073 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377073 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377089 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[...]
377089 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
377152 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377152 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377152 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377152 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377152 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[...]
377152 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
377230 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377230 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377230 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377230 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377230 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[...]
377230 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
377308 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377308 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377308 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377308 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377308 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[...]
377308 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
377386 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377386 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377386 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377386 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377386 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[...]
377386 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
377464 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377464 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377464 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377464 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377480 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[...]
377480 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
377542 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377542 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377542 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377542 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377542 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[...]
377558 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
377652 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377652 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377652 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377652 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377652 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[...]
377652 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
377730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377730 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377730 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377745 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[...]
377745 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
377808 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377808 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377808 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377808 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377808 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[...]
377808 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
377886 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377886 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377886 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377886 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377886 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[...]
377886 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
377964 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377964 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377964 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377964 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377964 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[...]
377964 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
378042 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378042 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378042 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378042 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378042 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[...]
378042 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
378120 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378120 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378120 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378120 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378120 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[...]
378120 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
378199 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378199 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378199 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378199 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[...]
378199 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
378277 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378277 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378277 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378292 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[...]
378292 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
378355 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378355 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378370 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
378370 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378386 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
378386 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
378386 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[...]
378386 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
378464 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378464 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378464 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378464 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378464 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))
378480 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))
378480 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[...]
378480 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
378558 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378558 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378558 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378558 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378558 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
378558 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
378558 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[...]
378558 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
378637 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378637 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378637 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378637 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378637 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
378637 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
378637 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[...]
378637 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
378715 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378715 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378715 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378715 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378715 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
378715 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
378715 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[...]
378715 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
378793 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378793 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378793 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378793 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378793 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
378793 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
378793 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[...]
378793 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
378887 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
378887 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378887 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378887 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378887 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
378887 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
378887 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[...]
378887 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
378965 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378965 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378965 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378965 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378965 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[...]
378965 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
379043 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[...]
379043 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
379121 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
379121 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
379121 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
379121 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
379137 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[...]
379137 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
379215 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
379215 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
379215 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
379215 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0