275345 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[...]
275400 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
275400 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275400 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275400 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275401 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[...]
275401 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
275456 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275456 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275456 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275461 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 5
275471 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
275512 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[...]
275512 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
275567 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275567 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275568 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
275569 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275572 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[...]
275572 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
275624 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275624 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275625 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
275625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275626 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[...]
275626 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
275682 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[...]
275682 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
275734 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275734 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275734 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275735 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275737 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
275737 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[...]
275738 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
275799 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275801 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275801 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275801 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275802 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
275803 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[...]
275803 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
275864 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[...]
275864 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
275929 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275929 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
275930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275936 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[...]
275937 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
276000 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276000 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276000 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276000 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276002 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
276002 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[...]
276002 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
276066 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
276066 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276066 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276066 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276068 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[...]
276068 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
276132 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
276132 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276132 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276132 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276134 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[...]
276135 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
276194 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276194 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276194 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276194 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276196 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[...]
276197 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
276256 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276256 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276256 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276256 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276257 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[...]
276257 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
276318 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276318 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276319 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
276319 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276320 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[...]
276321 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
276387 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276387 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276387 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276387 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276388 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[...]
276389 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
276449 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[...]
276449 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
276511 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276512 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276512 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276512 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276512 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[...]
276513 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
276572 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276572 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276572 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276572 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276573 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[...]
276574 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
276628 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276628 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276628 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276628 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276629 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[...]
276630 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
276680 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276680 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
276681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276682 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[...]
276682 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
276732 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276732 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
276733 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276742 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[...]
276743 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
276797 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276797 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276797 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276797 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276799 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[...]
276799 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
276851 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276851 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276852 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
276852 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276852 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[...]
276853 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
276904 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276904 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276904 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
276904 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276905 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[...]
276906 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
276961 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276961 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276962 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
276962 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276963 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[...]
276964 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
277021 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277021 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277022 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
277022 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277023 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[...]
277024 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
277077 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
277077 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277077 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277077 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277079 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[...]
277080 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
277132 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277132 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277133 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
277133 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277134 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[...]
277134 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
277184 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277184 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277185 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
277185 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277186 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[...]
277187 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
277240 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277240 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277241 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[...]
277242 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
277292 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277292 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277292 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277292 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277293 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[...]
277293 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
277344 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277344 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277344 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277344 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277345 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[...]
277345 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
277396 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277396 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277396 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277396 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277398 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[...]
277398 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
277448 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277448 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277448 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277448 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277449 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[...]
277450 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
277501 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277501 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277501 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277501 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277502 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[...]
277503 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
277553 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277553 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277553 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277553 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277554 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
277554 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
277554 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[...]
277554 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
277607 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277607 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277607 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277607 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277610 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))
277610 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))
277610 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[...]
277610 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
277672 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277672 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277672 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277672 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277672 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
277672 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
277673 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[...]
277673 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
277730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277731 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
277731 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277731 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
277731 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
277732 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[...]
277732 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
277786 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277786 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277786 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 2
277789 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
277789 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
277789 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[...]
277789 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
277849 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
277849 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277849 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277849 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277850 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
277850 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
277856 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[...]
277857 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
277910 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277910 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277910 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277910 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277911 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
277911 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
277911 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[...]
277912 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
277976 INFO Test worker d.u.i.k.n.KeyIO Parsing took 7 ms
277977 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277977 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277977 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277986 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[...]
277987 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
278053 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[...]
278053 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
278113 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
278113 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
278113 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
278113 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
278116 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[...]
278116 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
278172 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
278172 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
278172 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
278172 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0