343124 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343124 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343125 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
343125 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343125 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343127 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343127 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343127 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343127 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343127 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343128 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343128 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343128 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343128 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343128 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343129 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343130 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343130 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343130 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343130 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343130 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343131 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343134 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343135 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343135 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:41: no viable alternative at input '#i;' [@26,42:42=';',<138>,2:41] (option_list, taclet, rulesOrAxioms, decls, file)
343135 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<173>,2:43] (taclet, rulesOrAxioms, decls, file)
343135 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<167>,2:47] (taclet, rulesOrAxioms, decls, file)
343135 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<144>,2:52] (rulesOrAxioms, decls, file)
343136 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:56: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@40,57:57='>',<168>,2:56] (file)
343137 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343137 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343137 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343137 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>: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)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<138>,2:43] (option_list, taclet, rulesOrAxioms, decls, file)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<173>,2:45] (taclet, rulesOrAxioms, decls, file)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<167>,2:50] (taclet, rulesOrAxioms, decls, file)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<144>,2:56] (rulesOrAxioms, decls, file)
343138 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:2:60: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@41,61:61='>',<168>,2:60] (file)
343139 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343139 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343139 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343139 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343140 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343140 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343140 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343140 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343140 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343152 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 12ms
343164 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343165 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343165 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343165 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343167 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343167 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343167 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343167 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343169 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343170 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343171 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343171 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343172 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343172 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343172 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343173 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
343173 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343174 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343175 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343176 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343176 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343176 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343177 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343177 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343178 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343178 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343178 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343178 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343180 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343181 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343181 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343181 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343182 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343182 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343183 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343183 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343183 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343184 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343185 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343186 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343186 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343186 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343187 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343187 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343188 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343188 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343197 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343197 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343197 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343197 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343197 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343198 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343198 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343198 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343198 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343199 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343199 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343199 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343199 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343199 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343199 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343199 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343200 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343200 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343200 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343201 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
343201 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343201 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343211 INFO Test worker d.u.i.k.n.KeyIO Parsing took 6 ms
343211 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343211 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343211 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343223 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 11ms
343224 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343224 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343224 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343224 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343224 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343225 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343225 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343225 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343225 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343225 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343225 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343225 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343225 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343225 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343226 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343226 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343226 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343228 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343228 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343228 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343228 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343230 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343231 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343231 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343231 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343231 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343231 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343232 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
343232 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343232 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343232 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343232 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343232 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343232 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343232 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
343233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343233 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343233 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343233 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343245 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343246 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343246 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343246 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343247 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343248 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343248 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343248 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343249 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
343249 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343250 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343250 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343251 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343258 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343258 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343258 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343260 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343260 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
343261 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
343261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
343262 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
343264 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
343264 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
343264 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
343265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms