363578 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[...]
363640 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363640 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363656 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[...]
363656 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
363722 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363722 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363722 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363722 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363722 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
363789 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[...]
363789 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
363852 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363852 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363852 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363852 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363852 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[...]
363867 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
363932 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
363932 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
363932 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
363932 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
363932 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[...]
363932 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
364010 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[...]
364010 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
364089 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364089 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364089 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364089 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364089 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
364089 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[...]
364089 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
364171 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364171 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364171 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
364171 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[...]
364171 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
364233 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[...]
364233 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
364312 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364312 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364312 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364312 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364312 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[...]
364312 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
364390 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364390 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364390 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364390 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
364405 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[...]
364405 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
364468 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364468 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364468 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364468 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364468 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[...]
364468 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
364546 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364546 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364546 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364546 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364546 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[...]
364546 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
364632 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
364632 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364632 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364632 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364634 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[...]
364634 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
364701 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364701 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364701 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364701 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364701 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[...]
364701 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
364763 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364763 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
364779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364779 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[...]
364779 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
364857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364857 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364857 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364857 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364857 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[...]
364857 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
364929 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[...]
364929 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
364991 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364991 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364991 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364991 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364991 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[...]
364991 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
365070 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365070 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365070 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365070 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365070 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[...]
365070 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
365132 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365132 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365132 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365132 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365132 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[...]
365132 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
365211 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365211 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365211 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365211 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365211 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[...]
365211 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
365289 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365289 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365289 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365289 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365289 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[...]
365289 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
365367 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365367 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365367 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365367 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365367 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[...]
365367 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
365429 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365429 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365429 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365429 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365445 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[...]
365445 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
365507 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365507 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365507 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365507 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365507 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[...]
365507 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
365593 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365593 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365593 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365593 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365593 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[...]
365593 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
365655 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365655 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365655 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365671 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 16
365671 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[...]
365671 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
365733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365733 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365749 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[...]
365749 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
365812 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365812 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365812 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365812 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365812 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[...]
365812 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
365890 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365890 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365890 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365890 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365890 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[...]
365890 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
365972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365972 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365972 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[...]
365972 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
366050 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366050 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366050 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366050 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366053 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[...]
366053 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
366113 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366113 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366113 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366113 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366129 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[...]
366129 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
366191 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366191 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366191 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366207 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[...]
366207 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
366269 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366269 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366269 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366269 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366269 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[...]
366269 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
366363 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366363 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366363 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366363 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366379 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[...]
366379 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
366449 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366449 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366449 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366449 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366449 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
366449 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
366449 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[...]
366449 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
366512 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366527 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366527 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366527 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))
366527 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))
366527 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[...]
366527 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
366590 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366590 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366605 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
366605 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366605 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
366605 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
366605 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[...]
366605 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
366675 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366675 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366675 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366675 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366675 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
366675 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
366675 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[...]
366675 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
366753 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366753 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366753 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366753 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366753 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
366753 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
366753 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[...]
366753 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
366832 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366832 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366832 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366832 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366832 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
366832 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
366832 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[...]
366832 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
366910 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366910 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366910 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366910 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366910 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
366910 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
366910 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[...]
366910 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
366972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
366972 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
366972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
366972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
366991 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[...]
366991 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
367060 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[...]
367060 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
367122 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
367122 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
367122 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
367122 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
367153 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[...]
367153 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
367247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
367247 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
367247 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
367247 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0