270469 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[...]
270547 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
270547 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1153 ms.
270547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270547 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[...]
270547 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
270625 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 16 ms to parse.
270625 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
270625 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
270625 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270625 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270625 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
270672 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[...]
270672 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
270737 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
270737 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
270737 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270737 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270737 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270737 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270737 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[...]
270737 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
270799 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
270799 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
270799 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270799 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270799 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270799 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270799 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[...]
270799 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
270862 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[...]
270862 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
270924 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
270924 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
270924 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270924 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270924 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270924 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270924 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
270924 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[...]
270924 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
270987 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
270987 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
270987 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270987 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270987 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270987 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270987 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
270987 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[...]
270987 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
271049 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[...]
271049 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
271112 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271112 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271112 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271112 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271112 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271112 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271127 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[...]
271127 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
271190 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271190 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271190 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271190 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271190 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271190 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271190 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
271190 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[...]
271190 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
271237 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271237 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271237 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271237 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271253 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
271253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271253 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[...]
271253 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
271305 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271305 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271305 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271305 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271305 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271305 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[...]
271305 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
271421 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271421 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271421 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271421 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271421 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271421 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271421 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[...]
271421 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
271484 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271484 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271484 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271484 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271484 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[...]
271484 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
271551 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271551 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271551 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271551 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271551 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271551 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271551 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[...]
271551 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
271614 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271614 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271614 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271614 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271614 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271614 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[...]
271614 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
271676 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[...]
271676 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
271723 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271723 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271723 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271723 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271723 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271723 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[...]
271723 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
271786 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271786 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271786 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271786 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271786 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271786 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271801 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[...]
271802 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
271849 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271849 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271849 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271849 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271849 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271849 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271849 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[...]
271849 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
271911 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271911 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271911 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271911 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271911 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271911 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271911 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[...]
271911 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
271974 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
271974 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
271974 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271974 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271974 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271974 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271974 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[...]
271974 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
272041 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272041 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272041 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272041 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272041 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272041 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272041 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[...]
272041 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
272104 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272104 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272104 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272104 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272104 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272104 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272104 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[...]
272104 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
272166 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272166 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272166 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272166 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272166 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272166 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[...]
272166 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
272229 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272229 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272229 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272229 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272229 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272229 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272229 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[...]
272229 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
272291 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272291 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272291 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272291 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272291 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272291 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272291 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[...]
272291 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
272354 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272354 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272354 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272354 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272354 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[...]
272354 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
272416 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272416 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272416 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272416 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272416 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272416 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272416 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[...]
272416 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
272479 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272479 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272479 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272479 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272479 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272479 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272479 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[...]
272479 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
272541 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272541 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272541 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272541 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272541 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272541 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272541 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[...]
272541 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
272604 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272604 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272604 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272604 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272604 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272604 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272604 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[...]
272604 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
272666 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272666 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272666 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272666 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272666 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[...]
272666 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
272729 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272729 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272729 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272729 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272729 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272729 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272729 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[...]
272729 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
272791 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272791 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272791 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272791 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272791 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272791 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272791 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[...]
272791 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
272862 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272862 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272862 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272862 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272862 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272862 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272862 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[...]
272862 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
272909 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272909 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272909 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272909 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272909 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272909 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272925 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
272925 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
272925 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[...]
272925 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
272971 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
272971 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
272971 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272971 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272971 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272971 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272987 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))
272987 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))
272987 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[...]
272987 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
273050 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273050 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273050 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273050 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273050 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273050 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273050 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
273050 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
273050 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[...]
273050 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
273112 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273112 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273112 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273112 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273112 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273112 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273112 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
273112 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
273112 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[...]
273128 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
273191 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273191 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273191 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273191 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273191 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273191 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
273191 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
273191 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[...]
273191 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
273253 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273253 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273253 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273253 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273253 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273253 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
273253 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
273253 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[...]
273253 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
273316 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273316 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273316 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273316 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273316 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273316 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
273316 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
273316 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[...]
273316 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
273394 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273394 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273394 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273394 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273394 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273394 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273394 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[...]
273394 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
273461 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[...]
273461 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
273508 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273508 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273508 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273508 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273508 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273508 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
273539 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[...]
273539 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
273602 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
273602 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
273602 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
273602 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
273602 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
273602 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0