372316 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[...]
372405 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372405 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372405 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372405 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372407 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[...]
372407 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
372484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372484 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372484 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372486 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
372540 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[...]
372541 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
372610 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372610 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372610 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372610 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372617 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[...]
372618 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
372686 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372686 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372686 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372687 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
372687 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[...]
372690 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
372765 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[...]
372766 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
372835 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372835 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372835 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372836 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
372837 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
372838 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[...]
372838 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
372906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372906 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372906 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372907 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
372908 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[...]
372908 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
372980 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[...]
372981 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
373052 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373052 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373052 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373052 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373057 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[...]
373058 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
373136 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373136 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373136 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373139 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
373140 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[...]
373141 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
373261 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
373261 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373264 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 3 ms
373264 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373267 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[...]
373267 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
373337 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373337 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373338 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
373338 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373340 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[...]
373341 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
373410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
373410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373410 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373412 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[...]
373412 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
373481 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373481 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373481 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373481 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373482 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[...]
373482 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
373559 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373559 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373559 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373559 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373560 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[...]
373561 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
373633 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373633 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373633 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373633 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373634 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[...]
373634 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
373698 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[...]
373698 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
373766 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373766 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373766 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373767 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
373767 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[...]
373767 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
373836 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373836 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373836 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373836 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373837 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[...]
373838 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
373906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373906 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373906 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373907 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[...]
373908 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
373974 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
373974 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373974 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373974 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373975 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[...]
373975 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
374045 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374045 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374045 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374045 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374047 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[...]
374047 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
374121 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374121 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374121 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374122 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
374123 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[...]
374123 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
374197 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374197 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374197 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374197 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374198 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[...]
374199 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
374276 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374276 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374276 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
374278 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[...]
374278 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
374355 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374355 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374355 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374355 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374356 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[...]
374357 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
374428 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374429 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374429 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374429 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374430 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[...]
374431 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
374499 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374499 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374499 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374499 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374502 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[...]
374502 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
374569 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374569 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374569 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374569 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374571 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[...]
374571 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
374640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374645 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[...]
374646 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
374711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374711 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374711 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374713 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[...]
374714 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
374780 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374780 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374780 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374780 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374782 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[...]
374782 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
374846 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
374846 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374846 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374846 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374847 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[...]
374848 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
374918 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
374918 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374918 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374918 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374920 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[...]
374921 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
374992 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
374992 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
374992 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
374992 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
374994 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[...]
374995 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
375063 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375063 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375063 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375064 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
375066 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[...]
375067 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
375137 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375137 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375137 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375138 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
375138 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
375138 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[...]
375139 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
375205 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
375205 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375205 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375205 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375207 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))
375208 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))
375208 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[...]
375208 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
375279 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375279 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375279 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375279 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375280 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
375280 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
375280 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[...]
375280 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
375354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375354 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375354 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375355 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
375355 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
375356 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[...]
375356 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
375423 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375423 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375424 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
375424 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375425 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
375425 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
375425 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[...]
375425 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
375498 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375498 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375499 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
375499 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375502 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
375502 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
375502 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[...]
375503 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
375581 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
375581 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375581 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375581 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375582 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
375582 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
375582 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[...]
375583 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
375657 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375657 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375657 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375657 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375662 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[...]
375662 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
375732 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[...]
375732 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
375803 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
375803 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375803 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375803 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
375807 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[...]
375808 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
375880 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
375880 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
375880 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
375880 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0