539476 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539476 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539476 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539476 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539477 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539478 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539478 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539478 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539478 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539479 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539480 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539480 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539480 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539480 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539481 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539481 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539481 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539481 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539481 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
539484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539484 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539485 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539485 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539485 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539487 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)
539492 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)
539493 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)
539494 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)
539494 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)
539494 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)
539494 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)
539495 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)
539496 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539497 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539497 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539497 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539497 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539498 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)
539498 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)
539509 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)
539509 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)
539510 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)
539511 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)
539511 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)
539512 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)
539515 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539515 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539515 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539517 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539517 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539517 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539518 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539520 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
539522 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539522 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539523 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539526 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539526 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539526 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539527 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539529 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
539531 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539531 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539531 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539532 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539533 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539533 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539533 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539534 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539535 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539535 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539536 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539536 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539537 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539537 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539537 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539538 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539539 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539541 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539541 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539542 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539542 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539543 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539544 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539544 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539545 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539546 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539546 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539551 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539552 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539552 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539553 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539554 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539554 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539554 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539554 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539555 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539571 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539572 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539572 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539572 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539573 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539573 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539574 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539574 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539574 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539574 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539576 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539576 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539577 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539577 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539578 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539578 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539579 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539579 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539580 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
539582 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539582 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539582 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539583 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
539583 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539585 INFO Test worker d.u.i.k.n.KeyIO Parsing took 2 ms
539585 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539585 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539585 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539588 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
539590 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539591 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539592 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539592 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539593 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539593 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539594 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539594 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539594 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539595 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539596 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539596 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539597 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539597 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539598 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
539598 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539598 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539599 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539599 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539600 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539602 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539604 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
539604 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539605 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539605 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539606 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539606 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539607 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
539608 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539608 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539609 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539609 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539609 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539611 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539611 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539612 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539612 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539613 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539613 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539614 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539614 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539614 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539616 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539617 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539617 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539617 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539618 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539618 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539619 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539619 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539619 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539620 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
539621 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539621 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539622 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539622 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539623 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539624 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539624 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539624 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539624 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539625 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539626 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
539626 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
539627 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
539627 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539627 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
539629 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
539629 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
539629 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
539629 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
539630 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms