527414 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527414 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527415 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527415 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527416 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527417 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527417 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527417 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527418 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527418 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527420 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527420 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527420 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527421 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527422 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527422 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527423 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527423 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527423 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527425 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527426 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527426 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527426 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527427 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527427 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527429 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='<',<175>,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)
527439 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<146>,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)
527440 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<140>,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)
527441 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:41: no viable alternative at input '#i;' [@26,42:42=';',<140>,2:41] (option_list, taclet, rulesOrAxioms, decls, file)
527442 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<175>,2:43] (taclet, rulesOrAxioms, decls, file)
527442 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<169>,2:47] (taclet, rulesOrAxioms, decls, file)
527443 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<146>,2:52] (rulesOrAxioms, decls, file)
527443 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='>',<170>,2:56] (file)
527446 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
527447 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527447 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527447 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527448 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527452 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='<',<175>,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)
527453 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<146>,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)
527454 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<140>,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)
527454 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<140>,2:43] (option_list, taclet, rulesOrAxioms, decls, file)
527455 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<175>,2:45] (taclet, rulesOrAxioms, decls, file)
527456 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<169>,2:50] (taclet, rulesOrAxioms, decls, file)
527462 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] null:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<146>,2:56] (rulesOrAxioms, decls, file)
527462 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='>',<170>,2:60] (file)
527467 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
527467 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527467 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527468 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527468 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527469 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527472 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527473 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527473 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527475 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527484 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527484 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527485 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527486 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527486 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527486 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527487 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527488 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527490 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527490 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 3 ms
527494 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527494 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527495 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527495 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527496 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527502 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527503 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527505 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527505 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527506 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527506 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527507 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527508 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527508 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527509 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527509 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527510 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527511 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527512 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527512 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527512 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527513 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527519 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527519 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527519 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527519 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527520 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527521 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527521 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527521 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527521 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527521 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527522 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527522 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527522 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527522 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527523 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527523 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527524 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527524 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527525 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527525 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527526 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527534 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 8 ms
527534 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527534 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527534 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527534 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527534 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527534 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527535 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527536 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527536 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527536 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527537 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527544 INFO Test worker d.u.i.k.n.KeyIO Parsing took 7 ms
527544 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527544 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527544 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
527547 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527547 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527547 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527547 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527548 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527548 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527549 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527549 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527549 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527549 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527550 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527558 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527558 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527558 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527558 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527559 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527561 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
527561 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527561 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527561 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527561 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
527562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527562 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527562 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527562 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527562 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527563 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527563 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527563 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527564 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
527564 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527564 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527564 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527564 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527564 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527564 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527575 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527575 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527575 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527576 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527576 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527576 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527576 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527576 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527576 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527578 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
527578 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527578 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527578 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527579 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
527579 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527579 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527579 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527579 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527586 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527587 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527587 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
527587 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527587 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527587 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
527588 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
527588 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
527588 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
527588 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
527589 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms