490380 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[...]
490466 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490467 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490468 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490468 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490470 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[...]
490471 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
490551 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490551 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490551 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490552 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490555 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
490613 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[...]
490614 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
490691 INFO Test worker d.u.i.k.n.KeyIO Parsing took 4 ms
490693 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490694 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490694 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490705 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[...]
490706 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
490787 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490787 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490788 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490789 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[...]
490789 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
490864 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[...]
490865 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
490938 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490939 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490939 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490939 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490941 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
490941 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[...]
490941 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
491014 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491014 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491015 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
491015 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491016 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
491016 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[...]
491017 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
491089 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[...]
491089 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
491163 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491163 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491164 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
491164 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491169 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[...]
491169 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
491248 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491249 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491249 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491249 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491251 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
491251 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[...]
491252 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
491324 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491325 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491325 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491330 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[...]
491331 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
491410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
491411 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491411 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491412 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491415 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[...]
491416 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
491492 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491492 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
491493 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491495 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[...]
491496 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
491573 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491573 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491573 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491573 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491574 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[...]
491576 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
491648 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491648 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491648 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491649 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
491652 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[...]
491653 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
491724 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491724 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491724 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491724 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491725 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[...]
491726 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
491800 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[...]
491800 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
491873 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491873 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491873 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491873 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491874 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[...]
491874 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
491951 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
491952 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
491952 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
491952 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
491953 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[...]
491954 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
492045 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
492046 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492046 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492046 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492048 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[...]
492049 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
492126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
492126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492127 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
492127 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492129 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[...]
492129 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
492210 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492211 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492211 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492212 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
492213 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[...]
492214 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
492286 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492286 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492286 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492286 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492288 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[...]
492289 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
492364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492364 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492364 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492366 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[...]
492366 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
492438 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492438 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492439 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
492440 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
492441 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[...]
492442 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
492514 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492514 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492514 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492514 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492515 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[...]
492516 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
492589 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492589 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492589 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492589 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492591 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[...]
492592 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
492666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492666 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492667 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
492667 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492669 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[...]
492670 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
492741 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492741 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492741 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492741 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492744 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[...]
492745 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
492817 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492818 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492818 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492818 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492819 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[...]
492820 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
492893 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
492893 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492894 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
492894 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492896 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[...]
492896 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
492972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
492972 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
492972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
492972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
492974 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[...]
492974 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
493048 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
493048 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493048 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493050 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[...]
493050 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
493122 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
493122 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493122 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493122 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493124 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[...]
493125 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
493206 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493206 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493206 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493207 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
493209 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[...]
493210 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
493277 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
493277 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493277 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493279 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[...]
493280 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
493354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493354 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493354 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493355 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
493356 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
493356 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[...]
493356 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
493433 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493434 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493434 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493434 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493438 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))
493438 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))
493438 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[...]
493438 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
493524 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493524 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493524 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
493525 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
493525 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[...]
493525 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
493595 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493595 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493595 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493595 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493597 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
493597 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
493597 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[...]
493598 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
493669 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493669 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493669 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493670 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493671 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
493671 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
493671 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[...]
493672 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
493746 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
493746 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493746 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493746 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493747 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
493747 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
493748 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[...]
493749 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
493823 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
493824 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493824 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493824 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493826 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
493826 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
493826 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[...]
493827 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
493903 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
493903 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
493903 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
493903 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
493907 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[...]
493908 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
493984 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[...]
493985 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
494056 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
494056 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
494057 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
494057 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
494063 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[...]
494064 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
494139 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
494140 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
494140 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
494141 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1