355492 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[...]
355680 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355680 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355680 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355680 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355680 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[...]
355680 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
355742 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355742 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355742 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355742 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355742 DEBUG Test worker d.u.i.k.j.Recoder2KeY Reading public class T0 extends java.lang.Object{}
355805 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[...]
355805 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
355867 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355867 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355867 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355867 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355867 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[...]
355867 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
355930 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355930 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355930 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[...]
355930 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
355992 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[...]
355992 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
356055 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356055 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356055 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356055 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356055 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int x = 1;
{
int s = 2;
}
}\> (equals(x,x))
356055 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[...]
356055 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
356117 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356117 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356117 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356117 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356117 INFO Test worker d.u.i.k.p.TestTermParser Out: \[{
int x = 2;
{
String s = ""}";
}
}\] (true)
356117 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[...]
356117 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
356180 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[...]
356180 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
356242 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356242 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356242 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356242 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356242 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[...]
356258 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
356320 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356320 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356320 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356320 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356320 INFO Test worker d.u.i.k.p.TestTermParser Out: \<{
int[] i;
}\> (diamond(true))
356320 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[...]
356336 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
356398 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356398 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356398 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356398 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356398 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[...]
356398 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
356461 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356461 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356461 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356461 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356461 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[...]
356461 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
356523 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356523 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356523 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356523 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[...]
356523 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
356586 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356586 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356586 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356586 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356586 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[...]
356586 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
356649 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356649 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356649 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356649 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356649 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[...]
356649 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
356711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356711 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356711 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356711 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[...]
356711 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
356789 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[...]
356789 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
356852 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356852 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356852 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356852 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356867 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[...]
356867 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
356930 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356930 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356930 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[...]
356930 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
356993 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
356993 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
356993 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
356993 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
356993 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[...]
356993 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
357055 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357055 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357055 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357055 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357055 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[...]
357055 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
357135 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357135 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[...]
357135 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
357212 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357212 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357212 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357212 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357212 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[...]
357212 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
357290 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357290 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357290 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357290 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357290 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[...]
357290 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
357353 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357353 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357353 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357353 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357353 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[...]
357368 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
357431 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357431 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357431 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357431 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357431 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[...]
357431 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
357493 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357493 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357493 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357509 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[...]
357509 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
357571 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357571 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357571 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357571 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357571 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[...]
357571 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
357634 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357634 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357634 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357634 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357665 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[...]
357665 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
357728 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357728 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357728 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357728 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357728 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[...]
357728 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
357790 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357790 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357790 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[...]
357790 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
357868 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357868 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357868 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357868 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357868 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[...]
357868 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
357931 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357931 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357931 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357931 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357931 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[...]
357931 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
357993 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357993 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357993 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357993 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358009 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[...]
358009 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
358071 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358071 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358071 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358071 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358071 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[...]
358071 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
358134 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358134 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358134 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358134 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358134 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[...]
358134 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
358196 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358196 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358196 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358196 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358196 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
358196 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: and(all{l:int}(update-application(elem-update(globalIntPV)(l),false)),true)
358196 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[...]
358196 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
358259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358259 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358259 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358259 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))
358259 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))
358275 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[...]
358275 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
358337 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358337 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358337 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358337 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358337 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: not(equals(Z(1(#)),Z(1(#))))
358337 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: not(equals(Z(1(#)),Z(1(#))))
358353 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[...]
358353 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
358400 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358400 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358400 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358400 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358400 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
358400 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(update-application(elem-update(globalIntPV)(j),globalIntPV),j)
358416 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[...]
358416 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
358463 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358463 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358463 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358463 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358478 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
358478 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
358478 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[...]
358478 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
358541 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358541 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358541 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358541 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358541 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(int::cast(subst{x:int}(j,j)),j)
358541 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(int::cast(subst{x:int}(j,j)),j)
358541 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[...]
358541 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
358603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358603 DEBUG Test worker d.u.i.k.p.TestTermParser Actual: add(subst{x:int}(j,int::cast(j)),j)
358603 DEBUG Test worker d.u.i.k.p.TestTermParser Expected: add(subst{x:int}(j,int::cast(j)),j)
358603 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[...]
358603 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
358666 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358666 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358666 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358666 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[...]
358666 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
358728 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[...]
358728 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
358807 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358807 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358807 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358807 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358838 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[...]
358838 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
358963 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358963 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358963 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358963 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0