486571 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[...]
486652 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
486652 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486652 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486654 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[...]
486655 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
486734 INFO Test worker d.u.i.k.n.KeyIO Parsing took 2 ms
486734 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486734 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486734 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486736 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
486790 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[...]
486791 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
486869 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
486869 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486869 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486869 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486874 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[...]
486874 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
486947 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
486947 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
486947 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
486947 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
486948 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[...]
486948 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
487019 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[...]
487020 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
487093 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487094 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487094 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487094 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487096 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
487097 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[...]
487097 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
487166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487166 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487166 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487168 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
487168 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[...]
487169 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
487237 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[...]
487241 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
487310 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487311 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487311 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487311 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487317 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[...]
487318 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
487388 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487388 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487388 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 2
487392 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
487393 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[...]
487394 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
487462 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487462 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487463 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
487463 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487464 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[...]
487465 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
487531 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487531 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487531 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
487534 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[...]
487535 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
487604 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487604 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487604 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487605 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
487607 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[...]
487607 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
487677 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487678 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487678 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487678 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487679 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[...]
487679 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
487757 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487758 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487758 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487758 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487759 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[...]
487760 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
487828 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487828 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487829 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
487829 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
487830 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[...]
487830 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
487902 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[...]
487903 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
487973 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
487973 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
487973 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
487974 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
487984 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[...]
487984 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
488075 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488075 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488076 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488076 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488077 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[...]
488079 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
488148 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488148 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488149 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488149 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488151 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[...]
488151 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
488216 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488216 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488217 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488217 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488218 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[...]
488219 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
488301 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488301 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488302 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488303 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
488305 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[...]
488305 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
488385 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488386 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488386 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488386 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488387 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[...]
488388 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
488461 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488461 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488461 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488462 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488463 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[...]
488464 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
488539 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488539 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488540 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488541 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[...]
488542 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
488614 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488614 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488615 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
488615 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488618 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[...]
488618 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
488694 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488694 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488694 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488694 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488696 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[...]
488697 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
488770 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
488770 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488770 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488770 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488773 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[...]
488773 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
488856 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488856 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488856 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488856 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488858 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[...]
488858 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
488929 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
488930 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
488930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
488930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
488933 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[...]
488934 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
489014 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489014 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489016 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[...]
489017 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
489084 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489084 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489084 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489085 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
489086 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[...]
489087 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
489157 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489157 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489157 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489157 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489159 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[...]
489159 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
489229 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489229 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489229 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489229 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489232 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[...]
489232 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
489300 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489300 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489300 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489300 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489303 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[...]
489303 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
489382 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489382 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489382 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489382 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489385 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[...]
489385 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
489455 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489456 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489456 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489456 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489457 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
489457 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
489457 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[...]
489458 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
489528 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489529 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489529 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489529 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489532 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))
489532 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))
489532 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[...]
489532 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
489598 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489598 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489598 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489598 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489599 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
489599 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
489599 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[...]
489600 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
489666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489666 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489666 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489667 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
489667 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
489667 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[...]
489668 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
489732 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489732 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489732 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489732 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489733 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
489734 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
489734 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[...]
489734 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
489820 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489820 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489820 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489820 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489822 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
489822 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
489822 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[...]
489822 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
489897 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489897 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489898 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
489898 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489899 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
489899 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
489899 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[...]
489900 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
489980 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
489981 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
489981 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
489981 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
489985 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[...]
489985 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
490055 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[...]
490056 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
490126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490129 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[...]
490130 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
490198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490198 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0