394589 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[...]
394667 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394667 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394667 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394667 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394667 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[...]
394667 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
394745 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394745 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394745 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394745 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394745 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
394808 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[...]
394808 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
394886 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394886 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394886 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394886 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394901 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[...]
394901 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
394964 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
394964 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
394964 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
394964 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
394980 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[...]
394980 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
395043 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[...]
395043 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
395121 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395121 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395121 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 16
395137 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
395137 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[...]
395137 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
395199 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395199 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395199 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395199 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
395215 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[...]
395215 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
395277 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[...]
395277 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
395356 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395356 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395356 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395371 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[...]
395371 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
395434 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395449 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395449 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395449 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395449 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
395449 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[...]
395449 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
395527 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395527 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[...]
395527 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
395606 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395606 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395606 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395606 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395606 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[...]
395606 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
395668 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395668 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395668 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395668 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395684 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[...]
395684 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
395746 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395746 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395746 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395746 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395746 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[...]
395746 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
395825 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395825 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395825 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
395825 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395825 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[...]
395825 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
395887 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
395887 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
395903 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
395903 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
395903 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[...]
395903 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
395965 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[...]
395965 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
396043 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396043 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396043 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396043 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396043 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[...]
396043 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
396107 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396107 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396107 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396107 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396122 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[...]
396122 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
396184 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396184 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396184 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396184 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396184 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[...]
396184 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
396262 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396262 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396262 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396262 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396262 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[...]
396262 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
396340 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396340 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396340 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396340 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396340 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[...]
396340 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
396418 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396418 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396418 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396418 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396418 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[...]
396418 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
396497 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396497 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396497 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396497 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396497 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[...]
396497 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
396575 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396575 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396575 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396575 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396575 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[...]
396575 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
396637 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396637 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396637 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396637 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396637 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[...]
396637 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
396715 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396715 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396715 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396715 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396715 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[...]
396715 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
396793 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396793 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396793 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396793 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396793 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[...]
396793 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
396856 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396856 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396856 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396872 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396872 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[...]
396872 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
396934 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
396934 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
396934 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
396934 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
396934 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[...]
396934 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
397013 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397013 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397013 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397013 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397013 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[...]
397013 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
397091 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397091 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397091 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397091 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397091 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[...]
397091 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
397169 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397169 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397169 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397169 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397169 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[...]
397169 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
397247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397247 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397247 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397247 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397247 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[...]
397247 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
397325 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397325 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397325 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397325 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[...]
397325 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
397403 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397403 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397403 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397403 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397403 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[...]
397403 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
397482 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397482 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397482 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397482 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397482 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
397482 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
397482 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[...]
397482 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
397560 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397560 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397560 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397560 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397560 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))
397560 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))
397560 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[...]
397560 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
397622 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397638 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397638 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397638 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397638 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
397638 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
397638 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[...]
397638 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
397700 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397700 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397700 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397700 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397700 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
397700 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
397700 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[...]
397700 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
397778 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397778 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397778 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397778 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397778 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
397778 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
397794 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[...]
397794 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
397857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397857 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397857 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397857 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397872 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
397872 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
397872 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[...]
397888 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
397950 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397950 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397966 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
397966 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397966 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
397966 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
397966 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[...]
397966 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
398044 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
398044 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
398044 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
398044 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
398044 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[...]
398044 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
398107 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[...]
398107 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
398263 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
398263 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
398263 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
398263 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
398263 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[...]
398263 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
398341 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
398341 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
398341 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
398341 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0