296647 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296647 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296648 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296648 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296649 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296650 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
296650 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296650 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296651 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296651 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296652 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296652 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296653 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296654 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296654 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296654 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296654 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296662 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 7ms
296663 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296664 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296664 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 2
296666 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296667 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)
296670 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)
296677 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)
296677 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)
296678 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)
296678 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)
296678 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)
296679 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)
296681 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
296681 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296682 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296682 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296683 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)
296683 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)
296683 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)
296684 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)
296684 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)
296685 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)
296686 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)
296687 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)
296688 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296688 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296689 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296690 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296690 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296690 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296690 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296706 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 14ms
296707 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296707 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296707 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296707 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296707 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296707 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296707 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296707 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296707 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296709 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
296710 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296710 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296710 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296711 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296711 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296712 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296712 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296712 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296713 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296714 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296714 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296714 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296715 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296715 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296723 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296723 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296723 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296723 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296724 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296725 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296725 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296725 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296726 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296726 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296727 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296727 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296727 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296727 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296728 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296729 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296729 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296730 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296730 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296730 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296731 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296731 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296731 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296731 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296732 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296733 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296733 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296733 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296734 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
296734 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296734 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296735 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296735 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296735 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296736 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
296737 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296746 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296747 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296747 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296747 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296748 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296749 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296749 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296750 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
296751 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296751 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296752 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296752 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296752 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296753 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296754 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296754 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296757 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296760 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
296767 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296768 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296769 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296769 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296769 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296772 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296773 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296773 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296775 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296776 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296776 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296777 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296778 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296785 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296786 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296786 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296786 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296786 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296788 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296792 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296792 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296792 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296795 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296795 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296796 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296797 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296797 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296798 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296800 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
296804 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296804 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296804 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296805 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
296807 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296808 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296809 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296809 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296811 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296812 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296812 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296812 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296812 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296828 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
296828 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296828 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296828 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296829 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296830 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296830 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296830 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296830 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296831 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296832 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296832 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296833 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
296833 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296833 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296834 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296834 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296834 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296834 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296835 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
296837 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
296838 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
296838 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296838 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296841 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 3ms
296842 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
296842 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
296842 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
296844 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
296844 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms