357276 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357277 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357277 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357278 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357278 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357278 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357278 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357279 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357279 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357279 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357279 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357279 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357280 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357280 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357280 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357280 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357280 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357281 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357281 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357281 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357281 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357281 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357281 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357282 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)
357290 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)
357291 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)
357291 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)
357292 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)
357292 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)
357292 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)
357292 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)
357297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 2 ms
357297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357299 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357299 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)
357300 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)
357301 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)
357301 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)
357301 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)
357302 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)
357302 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)
357302 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)
357304 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357304 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357304 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357306 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357306 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357306 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357306 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357311 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357312 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357313 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357313 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357313 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357314 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357318 INFO Test worker d.u.i.k.n.KeyIO Parsing took 4 ms
357318 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357318 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357319 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357320 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357321 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357322 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357322 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357322 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357323 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357323 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357323 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357324 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357324 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357326 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357326 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357326 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
357327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357328 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357328 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357328 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357328 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357329 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357330 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357330 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357331 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357331 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357331 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357332 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357332 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357332 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357335 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357335 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357335 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357335 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357336 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357337 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357337 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357337 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357337 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357338 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357339 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357339 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357340 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357340 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357341 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357341 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357341 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357342 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357342 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357342 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357344 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
357344 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357344 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357344 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357345 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357345 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357346 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357346 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357346 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357348 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357348 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357348 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357349 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357349 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357356 INFO Test worker d.u.i.k.n.KeyIO Parsing took 6 ms
357356 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357357 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357357 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 3ms
357361 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357362 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357363 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357363 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357364 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357365 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357367 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357367 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 2 ms
357369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357374 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357374 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357374 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357375 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357378 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357379 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357379 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357379 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357380 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357380 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357381 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357381 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357382 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357382 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357382 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357382 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357383 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357383 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357385 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357385 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357386 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357386 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357387 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357387 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357388 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357388 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357388 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357391 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357391 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357392 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357392 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357392 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357402 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357402 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357402 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357403 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357403 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357405 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357405 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357405 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357406 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357406 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357407 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357408 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357408 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357408 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357409 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
357410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
357410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
357411 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
357411 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
357412 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
357412 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
357413 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
357413 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
357413 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms