490157 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490157 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490158 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490158 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490166 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490168 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490172 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490172 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490172 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490172 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490174 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490174 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490174 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490174 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490180 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 5ms
490180 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490180 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490180 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490180 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490183 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490184 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490185 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490185 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490185 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490186 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490188 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)
490193 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)
490195 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)
490195 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)
490196 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)
490196 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)
490197 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)
490197 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)
490203 INFO Test worker d.u.i.k.n.KeyIO Parsing took 4 ms
490204 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490204 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490204 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490205 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490206 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)
490206 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)
490207 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)
490207 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)
490208 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)
490208 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)
490208 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)
490209 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)
490211 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490211 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490212 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490212 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490213 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490213 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490214 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490214 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490214 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490216 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490219 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490219 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490219 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490219 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490220 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490221 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490221 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490222 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490222 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490223 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490225 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490226 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490226 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490227 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490230 INFO Test worker d.u.i.k.n.KeyIO Parsing took 3 ms
490232 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490232 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490232 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490234 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490244 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490244 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490244 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490245 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490246 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490246 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490248 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490249 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490249 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490252 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490252 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490252 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490254 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490254 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490255 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490255 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490255 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490257 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490257 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490257 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490259 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490259 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490260 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490262 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490269 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490270 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490270 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490271 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490272 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490272 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490273 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490273 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490274 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490276 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490276 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490276 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490276 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490278 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490278 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490278 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490278 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490279 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490281 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490282 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490282 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490283 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490283 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490290 INFO Test worker d.u.i.k.n.KeyIO Parsing took 5 ms
490291 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490292 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490292 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 4ms
490299 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490300 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490301 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490301 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490302 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490303 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490303 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490303 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490303 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490315 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490316 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490316 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490317 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490317 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490324 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490324 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490324 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490324 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490326 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490329 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490330 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490330 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490330 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490331 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490340 INFO Test worker d.u.i.k.n.KeyIO Parsing took 7 ms
490341 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490341 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490341 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490342 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490349 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490349 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490350 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490350 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490351 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490355 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490355 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490356 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490357 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490357 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490357 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490360 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490360 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490360 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490361 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490361 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490362 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490363 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490363 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490366 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490366 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490366 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490367 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490368 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
490369 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
490369 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490370 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490372 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490373 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
490373 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
490373 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
490375 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
490375 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
490376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
490376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
490376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms