304740 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304741 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304741 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304741 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304742 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304743 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304743 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304744 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304744 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304745 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304746 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304746 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304747 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304747 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304748 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304748 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304748 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304749 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304750 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304751 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304752 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304752 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304752 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304753 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304754 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)
304756 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)
304758 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)
304758 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)
304759 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)
304759 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)
304760 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)
304760 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)
304762 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304763 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304763 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304764 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304764 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304765 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)
304766 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)
304766 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)
304767 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)
304767 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)
304767 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)
304768 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)
304768 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)
304770 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304770 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304771 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304771 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304771 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304772 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304772 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304772 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304774 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304776 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304776 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304777 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304777 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304778 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304778 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304778 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304780 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304782 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304782 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304782 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304783 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304783 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304784 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304784 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304784 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304784 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304785 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304787 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304787 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304787 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304789 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304789 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304792 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304792 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304793 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304793 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304793 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304794 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304794 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304795 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304795 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304796 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304797 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304797 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304798 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304798 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304799 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304799 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304799 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304800 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304800 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304800 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304802 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304802 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304802 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304803 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304803 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304804 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304804 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304804 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304804 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304805 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304806 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304807 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304807 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304807 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304808 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304808 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304808 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304809 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304809 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304810 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304811 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304812 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304812 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304813 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304813 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304814 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
304814 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304815 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304815 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304817 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
304819 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304819 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304819 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304820 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
304820 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304821 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
304821 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304821 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304821 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304822 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304823 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304824 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304825 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304825 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304825 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304826 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304826 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304826 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304827 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304828 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304833 INFO Test worker d.u.i.k.n.KeyIO Parsing took 3 ms
304833 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304833 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304833 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304834 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304835 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
304835 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304835 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304835 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304836 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304836 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304837 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304837 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304837 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304838 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304850 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304850 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304850 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304851 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304851 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304852 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304852 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304852 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304852 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304855 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304855 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304856 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304856 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304857 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
304857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304862 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304862 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304862 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304863 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304864 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304864 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304865 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
304865 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304865 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304866 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304866 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304866 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304867 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304867 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304868 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
304869 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
304869 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304869 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304870 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
304871 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
304871 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
304871 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
304871 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
304872 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms