360804 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[...]
360898 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
360898 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
360898 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
360898 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
360898 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[...]
360898 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
361023 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361023 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361023 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361023 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361038 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
361117 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[...]
361117 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
361226 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[...]
361226 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
361304 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361304 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361304 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361320 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[...]
361320 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
361398 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[...]
361398 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
361492 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361492 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361492 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361492 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361492 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
361492 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[...]
361492 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
361586 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361586 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361586 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361586 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361586 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
361586 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[...]
361586 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
361696 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[...]
361696 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
361789 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361789 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361789 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361789 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361789 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[...]
361789 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
361883 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361883 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361883 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361883 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361883 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
361899 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[...]
361899 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
361992 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
361992 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
361992 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
361992 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
361992 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[...]
361992 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
362071 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362071 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362071 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362071 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362086 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[...]
362086 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
362180 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362180 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362180 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362180 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362180 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[...]
362180 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
362274 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362274 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362274 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362274 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362274 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[...]
362274 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
362367 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362367 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362367 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362367 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362367 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[...]
362367 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
362461 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362461 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362461 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362461 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362461 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[...]
362461 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
362555 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[...]
362555 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
362649 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362649 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362649 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362649 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362649 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[...]
362649 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
362743 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362743 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362743 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362743 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362743 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[...]
362743 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
362837 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362837 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362837 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362837 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362837 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[...]
362837 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
362930 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
362930 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
362930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
362930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
362930 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[...]
362930 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
363024 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363024 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363024 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363024 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363024 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[...]
363024 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
363118 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363118 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363118 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363118 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363118 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[...]
363118 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
363212 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363212 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363212 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363212 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363212 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[...]
363212 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
363305 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363305 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363305 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363305 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[...]
363305 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
363399 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363399 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363399 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363399 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363399 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[...]
363415 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
363493 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363493 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363509 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 16
363509 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[...]
363509 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
363603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363603 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[...]
363603 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
363697 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363697 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363697 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363697 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363697 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[...]
363697 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 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363791 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363791 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363791 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
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
363884 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363884 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363884 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363884 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363884 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[...]
363884 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
363978 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363978 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363978 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363978 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363978 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[...]
363978 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
364072 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364072 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364072 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364072 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364072 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[...]
364072 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
364166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364166 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364166 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364166 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[...]
364166 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
364259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364259 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364259 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364259 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[...]
364275 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
364353 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364353 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364353 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364353 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364369 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[...]
364369 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
364447 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364447 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364462 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
364462 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364478 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
364478 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
364478 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[...]
364478 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
364579 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364579 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364579 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364579 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364579 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))
364579 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))
364579 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[...]
364579 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
364666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364666 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364666 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364666 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
364666 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
364666 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[...]
364666 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
364760 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364760 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364760 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364760 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364760 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
364760 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
364760 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[...]
364760 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
364854 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364854 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364854 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364854 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364854 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
364854 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
364854 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[...]
364854 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
364947 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364947 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364947 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364947 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364947 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
364947 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
364947 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[...]
364947 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
365041 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365041 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365041 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365041 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365041 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
365041 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
365041 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[...]
365041 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
365135 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365135 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[...]
365135 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
365229 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[...]
365229 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
365322 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365322 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365322 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365322 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365322 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[...]
365322 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
365416 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365416 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365416 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365416 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0