439919 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439919 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439919 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439919 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439919 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439920 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439920 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439920 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439920 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439921 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439921 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439922 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439922 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439922 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439922 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439922 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439922 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439922 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439922 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439923 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439924 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439924 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439924 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439924 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439924 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439925 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:21: extraneous input '<' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@12,22:22='<',<173>,2:21] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439932 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<144>,2:23] (atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439940 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<138>,2:33] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439940 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:41: no viable alternative at input '#i;' [@26,42:42=';',<138>,2:41] (option_list, taclet, rulesOrAxioms, decls, file)
439941 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<173>,2:43] (taclet, rulesOrAxioms, decls, file)
439941 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<167>,2:47] (taclet, rulesOrAxioms, decls, file)
439941 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<144>,2:52] (rulesOrAxioms, decls, file)
439941 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:56: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@40,57:57='>',<168>,2:56] (file)
439942 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439942 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439942 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439942 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439943 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439943 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:21: extraneous input '<' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@12,22:22='<',<173>,2:21] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439943 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<144>,2:23] (atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<138>,2:33] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<138>,2:43] (option_list, taclet, rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<173>,2:45] (taclet, rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<167>,2:50] (taclet, rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<144>,2:56] (rulesOrAxioms, decls, file)
439944 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:60: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@41,61:61='>',<168>,2:60] (file)
439945 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439945 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439945 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439945 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439946 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439946 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439946 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439946 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439946 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439948 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
439949 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439949 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439949 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439949 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439949 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439950 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439950 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439950 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439950 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439951 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439952 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439952 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439952 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439952 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439952 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439952 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439952 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439952 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439952 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439953 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439953 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439954 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439954 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439954 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439954 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439954 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439955 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439955 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439955 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439955 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439958 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439958 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439958 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439958 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439959 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439959 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439959 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439959 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439960 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439960 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439960 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439960 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439961 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
439961 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439961 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439961 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439961 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439961 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439961 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439962 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439962 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439962 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439962 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439963 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439963 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439963 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439963 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439963 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439963 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439964 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439964 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439964 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439964 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439964 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439965 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439965 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439965 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439965 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439965 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439965 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439972 INFO Test worker d.u.i.k.n.KeyIO Parsing took 6 ms
439972 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439972 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439972 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439973 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439974 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439974 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439974 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439974 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439976 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
439977 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439977 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439977 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439977 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439977 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439978 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439978 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439978 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439978 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439978 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439979 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439979 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439979 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439979 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439979 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439988 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439988 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439988 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439988 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439988 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439989 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439989 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439989 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439989 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439990 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439990 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439990 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439990 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439990 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439991 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439991 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439991 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439991 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439991 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439991 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439992 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439992 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439992 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439992 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439992 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439993 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
439993 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439993 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439993 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439994 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439994 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439994 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439994 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439995 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439995 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439995 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
439995 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439995 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
440003 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 8ms
440004 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
440004 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
440004 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
440004 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
440005 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
440005 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
440005 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
440005 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
440005 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
440005 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
440006 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
440006 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
440006 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
440006 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
440006 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
440007 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
440007 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
440007 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
440007 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
440008 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms