564655 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[...]
564733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564733 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564733 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[...]
564733 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
564843 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
564843 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
564843 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
564843 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
564858 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
564937 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[...]
564937 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
565046 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565046 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565046 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565046 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565062 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[...]
565062 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
565124 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565124 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565124 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565124 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565140 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[...]
565140 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
565202 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[...]
565218 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
565296 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565296 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565296 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565296 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565312 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
565313 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[...]
565313 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
565390 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565390 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565390 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565390 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
565390 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[...]
565390 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
565468 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[...]
565484 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
565562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565562 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[...]
565562 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
565656 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565656 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565656 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565656 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565656 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
565671 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[...]
565671 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
565749 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565749 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565749 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565749 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565749 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[...]
565749 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
565859 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565859 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565859 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565859 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565874 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[...]
565874 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
565968 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
565968 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
565968 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
565968 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
565968 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[...]
565968 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
566062 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566062 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566062 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566062 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566062 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[...]
566062 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
566203 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566203 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566203 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566203 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566203 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[...]
566203 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
566296 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566296 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566296 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566296 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566296 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[...]
566296 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
566375 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[...]
566375 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
566469 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566469 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566469 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566469 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566469 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[...]
566469 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
566547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566562 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[...]
566562 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
566640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566640 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[...]
566640 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
566719 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566719 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566719 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566719 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566719 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[...]
566719 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
566797 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566797 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566797 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566812 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 15
566812 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[...]
566812 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
566875 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566890 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566890 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566890 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566890 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[...]
566890 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
566969 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
566969 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
566969 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
566969 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
566969 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[...]
566969 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
567047 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567062 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567062 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567062 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567062 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[...]
567062 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
567140 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567140 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567140 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567140 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567140 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[...]
567140 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
567219 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567219 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567219 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567219 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567219 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[...]
567219 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
567297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567297 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567297 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[...]
567297 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
567376 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567376 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567391 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[...]
567391 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
567454 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567454 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567454 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567454 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567469 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[...]
567469 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
567532 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567532 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567532 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567548 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[...]
567548 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
567626 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567626 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567626 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567626 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567626 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[...]
567626 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
567704 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567704 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567704 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567704 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567704 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[...]
567719 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
567782 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567782 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567798 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
567798 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567798 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[...]
567798 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
567876 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567876 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567876 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567876 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567876 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[...]
567876 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
567954 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567954 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567954 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567954 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567954 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[...]
567954 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
568032 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568032 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568032 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568032 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568032 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
568032 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
568032 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[...]
568048 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
568126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568126 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))
568126 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))
568126 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[...]
568126 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
568204 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568204 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568204 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568204 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568204 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
568204 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
568204 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[...]
568204 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
568282 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568282 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568282 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568282 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568282 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
568282 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
568282 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[...]
568282 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
568376 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568376 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568376 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
568376 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
568376 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[...]
568376 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
568455 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568455 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568455 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568455 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568455 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
568455 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
568455 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[...]
568455 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
568533 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568533 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568533 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568533 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568533 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
568533 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
568533 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[...]
568533 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
568611 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568611 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568611 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568611 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568626 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[...]
568626 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
568705 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[...]
568705 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
568783 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568783 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568783 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568783 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
568783 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[...]
568783 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
568861 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
568861 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
568861 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
568861 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0