346491 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[...]
346572 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
346573 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
346573 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
346574 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
346575 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[...]
346576 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
346659 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
346660 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
346660 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
346660 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
346662 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
346716 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[...]
346717 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
346793 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
346795 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
346795 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
346795 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
346799 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[...]
346800 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
346880 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
346880 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
346881 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
346881 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
346882 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[...]
346883 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
346959 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[...]
346960 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
347027 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347027 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347028 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
347028 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347029 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
347030 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[...]
347030 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
347103 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347103 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347104 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347104 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347105 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
347105 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[...]
347105 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
347179 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[...]
347179 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
347250 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347250 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347250 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347255 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[...]
347256 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
347342 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347342 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347342 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347343 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
347344 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
347345 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[...]
347345 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
347432 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347432 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347433 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
347433 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347441 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[...]
347442 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
347516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347517 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347517 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347517 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347520 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[...]
347520 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
347592 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
347592 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347592 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347592 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347594 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[...]
347594 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
347667 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
347667 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347667 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347667 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347668 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[...]
347668 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
347740 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347741 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347741 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347741 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347742 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[...]
347742 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
347812 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347812 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347812 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347812 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347813 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[...]
347814 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
347892 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[...]
347893 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
347971 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347971 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347971 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347971 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347972 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[...]
347972 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
348044 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348044 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348044 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348044 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348045 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[...]
348046 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
348119 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348119 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348119 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348119 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348120 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[...]
348120 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
348191 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348191 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348191 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348192 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[...]
348193 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
348265 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348265 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348265 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348267 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[...]
348267 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
348340 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348340 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348340 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348340 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348342 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[...]
348342 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
348415 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348415 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348415 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348415 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348418 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[...]
348418 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
348489 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348489 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348489 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348489 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348494 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[...]
348495 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
348571 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348571 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348571 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348571 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348572 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[...]
348573 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
348647 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348648 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348648 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348648 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348650 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[...]
348650 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
348722 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
348722 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348722 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348722 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348724 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[...]
348725 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
348801 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348801 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348802 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
348802 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348804 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[...]
348804 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
348879 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348879 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348879 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
348879 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348881 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[...]
348881 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
348954 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348954 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348955 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
348955 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348957 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[...]
348957 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
349028 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349028 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349029 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
349029 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349030 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[...]
349031 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
349105 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349105 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349105 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349105 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349106 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[...]
349107 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
349179 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349180 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349180 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349180 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349182 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[...]
349183 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
349251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349252 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349252 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349252 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349254 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[...]
349255 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
349377 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
349377 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349377 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349377 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349379 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[...]
349380 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
349460 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349460 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349461 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
349461 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349462 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
349462 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
349463 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[...]
349464 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
349536 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
349536 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349536 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349539 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))
349539 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))
349539 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[...]
349540 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
349616 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
349616 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349616 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349616 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349617 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
349617 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
349617 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[...]
349618 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
349689 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349689 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349689 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349691 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
349691 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
349691 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[...]
349692 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
349769 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349769 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349769 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349769 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349770 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
349771 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
349771 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[...]
349772 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
349848 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349848 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349848 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349848 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
349850 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
349850 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
349850 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[...]
349850 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
349922 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
349922 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
349922 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
349923 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
349924 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
349924 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
349925 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[...]
349925 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
350007 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
350007 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
350007 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
350008 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
350011 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[...]
350011 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
350085 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[...]
350086 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
350161 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
350161 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
350162 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
350162 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
350165 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[...]
350166 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
350239 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
350239 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
350240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
350240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0