462914 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[...]
462999 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
462999 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463000 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
463000 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463002 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[...]
463002 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
463081 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
463081 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463082 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
463082 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463084 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
463150 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[...]
463152 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
463226 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463228 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463228 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463229 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
463234 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[...]
463236 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
463311 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463313 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463313 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463314 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463315 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[...]
463316 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
463392 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[...]
463393 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
463468 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463469 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463470 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
463470 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463472 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
463474 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[...]
463475 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
463542 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463543 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463543 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463543 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463545 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
463547 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[...]
463548 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
463617 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[...]
463618 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
463697 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
463698 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463698 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463698 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463703 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[...]
463704 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
463769 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463769 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463769 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463769 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463771 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
463772 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[...]
463772 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
463835 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463835 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463836 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
463836 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463837 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[...]
463838 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
463902 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
463902 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463902 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
463902 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463905 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[...]
463905 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
463967 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
463967 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
463968 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
463968 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
463970 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[...]
463970 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
464035 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464035 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464035 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464035 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464036 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[...]
464036 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
464101 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464101 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464101 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464101 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464102 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[...]
464103 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
464166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464167 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464167 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464168 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
464169 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[...]
464172 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
464243 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[...]
464244 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
464310 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
464310 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464310 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464310 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464311 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[...]
464311 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
464380 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464380 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464380 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
464382 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[...]
464382 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
464453 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
464453 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464453 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464453 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464455 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[...]
464455 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
464522 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464523 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464523 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464527 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[...]
464528 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
464595 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464595 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464596 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
464596 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464598 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[...]
464598 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
464659 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464659 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464659 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464659 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464661 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[...]
464661 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
464727 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464727 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464727 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464728 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
464729 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[...]
464730 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
464796 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464796 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464796 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464797 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464798 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[...]
464798 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
464861 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
464861 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464861 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464861 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464862 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[...]
464863 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
464922 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464922 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464922 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
464923 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464924 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[...]
464925 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
464987 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
464987 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
464988 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
464988 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
464990 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[...]
464991 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
465054 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
465054 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465054 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465054 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465055 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[...]
465056 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
465120 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465120 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465121 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
465121 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465122 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[...]
465123 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
465188 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465188 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465188 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465190 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[...]
465191 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
465260 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465260 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465260 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465260 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465262 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[...]
465263 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
465333 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
465333 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465333 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465334 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[...]
465335 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
465400 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465401 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465401 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465401 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465403 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[...]
465404 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
465474 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465474 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465474 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465474 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465477 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[...]
465477 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
465547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465549 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[...]
465550 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
465615 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465615 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465615 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465616 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
465617 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
465617 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
465617 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[...]
465618 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
465685 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465685 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465685 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465685 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465688 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))
465688 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))
465688 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[...]
465689 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
465756 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465756 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465756 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465757 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465757 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
465757 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
465757 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[...]
465758 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
465822 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465822 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465823 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
465823 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465824 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
465824 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
465824 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[...]
465825 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
465895 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465896 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465896 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465896 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465897 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
465897 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
465897 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[...]
465898 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
465970 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
465970 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
465970 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
465970 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
465971 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
465972 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
465972 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[...]
465972 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
466042 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
466042 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
466042 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
466042 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
466043 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
466043 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
466044 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[...]
466044 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
466110 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
466110 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
466110 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
466110 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
466114 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[...]
466114 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
466182 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[...]
466183 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
466247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
466247 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
466247 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
466247 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
466250 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[...]
466250 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
466317 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
466317 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
466317 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
466318 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0