281554 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[...]
281633 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
281633 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
281633 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
281633 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
281633 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[...]
281633 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
281789 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
281789 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
281789 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
281789 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
281789 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
281883 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[...]
281883 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
282040 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282040 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282040 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282040 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282040 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[...]
282040 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
282118 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282118 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282118 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282118 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282118 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[...]
282118 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
282181 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[...]
282181 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
282243 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282243 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282243 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282243 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282243 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
282243 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[...]
282243 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
282306 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282306 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282306 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282306 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282306 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
282306 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[...]
282306 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
282369 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[...]
282369 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
282432 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282432 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282432 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282432 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282432 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[...]
282432 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
282494 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282494 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282494 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282494 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282494 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
282494 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[...]
282494 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
282619 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282619 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282619 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282619 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282619 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[...]
282619 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
282681 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282681 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282681 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[...]
282681 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
282744 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282744 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282744 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282744 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282744 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[...]
282744 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
282806 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282806 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282806 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282806 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282806 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[...]
282806 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
282869 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282869 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282869 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282869 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282869 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[...]
282885 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
282947 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282947 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282947 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282947 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282947 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[...]
282947 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
283010 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[...]
283010 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
283072 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283072 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283072 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283072 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283072 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[...]
283072 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
283135 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283135 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[...]
283135 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
283198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283198 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283198 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[...]
283198 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
283261 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283261 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283261 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283261 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[...]
283261 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
283339 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
283339 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283339 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283339 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283339 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[...]
283339 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
283401 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283401 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283401 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283401 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283401 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[...]
283401 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
283464 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283464 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283464 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283464 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283464 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[...]
283464 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
283526 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283526 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283526 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283526 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283526 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[...]
283526 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
283589 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283589 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283589 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283589 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283589 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[...]
283589 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
283651 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283651 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283651 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283651 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283651 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[...]
283667 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
283729 INFO Test worker d.u.i.k.n.KeyIO Parsing took 15 ms
283729 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283729 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283729 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283729 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[...]
283729 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
283792 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283792 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283792 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283792 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283792 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[...]
283792 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
283854 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283854 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283854 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283854 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283854 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[...]
283854 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
283917 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283917 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283917 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283917 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283917 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[...]
283917 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
283979 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
283979 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
283979 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
283979 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
283979 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[...]
283979 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
284042 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284042 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284042 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284042 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284057 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[...]
284057 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
284120 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284120 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284120 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284120 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284120 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[...]
284120 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
284183 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284183 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284183 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284183 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284183 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[...]
284183 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
284245 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284261 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284261 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284261 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[...]
284261 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
284323 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284323 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284323 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284323 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284323 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
284323 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
284323 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[...]
284323 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
284386 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284386 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284386 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284386 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284386 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))
284386 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))
284386 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[...]
284386 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
284449 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284449 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284449 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284449 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284449 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
284465 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
284465 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[...]
284465 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
284527 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284527 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
284527 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
284527 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[...]
284527 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
284590 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284590 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284605 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
284605 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284605 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
284605 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
284605 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[...]
284605 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
284668 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284668 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284668 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284668 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284668 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
284668 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
284668 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[...]
284668 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
284730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284730 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284730 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284730 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
284730 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
284730 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[...]
284730 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
284793 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284793 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284793 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284793 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284793 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[...]
284793 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
284855 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[...]
284871 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
284918 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
284918 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
284918 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
284918 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
284965 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[...]
284965 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
285027 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
285027 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
285027 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
285027 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0