332323 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332324 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332324 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332324 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332325 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332326 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332326 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332326 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332329 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332329 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332329 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332329 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332330 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332331 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332331 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332331 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332331 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332333 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332334 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332334 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332334 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332335 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
332335 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332336 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)
332341 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)
332342 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)
332343 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)
332343 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)
332344 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)
332344 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)
332344 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)
332346 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332346 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332348 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)
332348 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)
332349 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)
332349 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)
332350 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)
332350 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)
332351 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)
332351 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)
332352 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332352 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332353 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332353 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332353 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332355 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332355 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332357 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332357 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332358 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332358 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332359 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332359 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332359 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332359 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332362 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
332364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332364 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332364 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332365 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332365 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332366 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332366 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332367 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332368 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332368 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332370 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332370 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332370 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332371 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332371 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332371 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332372 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332373 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332373 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332373 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332374 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332374 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332375 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332375 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332375 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332375 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332377 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332377 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332378 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332378 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332379 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332380 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332380 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332380 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332380 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332382 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332383 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332383 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332383 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332384 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332384 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332384 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332385 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332387 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332387 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332388 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332388 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332388 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332389 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332389 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332389 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332390 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332392 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332392 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332392 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332393 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332393 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332400 INFO Test worker d.u.i.k.n.KeyIO Parsing took 7 ms
332400 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332401 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332401 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332404 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
332405 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332405 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332406 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332406 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332407 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332407 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332408 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332408 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332408 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332409 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332411 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332411 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332412 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332412 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332412 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332412 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332413 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332415 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332416 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332416 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332416 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332417 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332418 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
332418 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332418 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332418 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332419 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332419 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332420 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332420 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332420 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332421 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332422 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332422 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332422 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332422 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332423 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332423 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332424 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332424 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332424 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332427 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332428 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332428 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332428 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332429 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332430 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332431 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332431 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332431 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332432 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332433 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332433 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332434 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
332434 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332435 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
332436 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332436 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332436 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332436 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332437 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332439 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332439 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332439 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332440 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332445 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332446 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332447 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
332448 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332448 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332448 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms