372237 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372237 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372237 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372237 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372238 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372239 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372239 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372239 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372239 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372239 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372240 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372240 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372240 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372240 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372242 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
372242 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372242 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372242 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372242 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372242 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372243 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)
372244 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)
372245 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)
372245 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)
372246 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)
372246 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)
372246 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)
372246 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)
372247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372247 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372248 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
372248 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372248 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372248 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)
372248 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)
372249 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)
372249 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)
372249 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)
372249 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)
372249 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)
372249 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)
372250 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372250 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372250 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372250 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372251 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372251 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372251 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372252 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
372253 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372253 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372253 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372253 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372254 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372254 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372254 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372254 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372254 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372255 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
372256 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372256 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372256 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372256 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372256 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372257 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372257 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372257 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372257 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372257 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372258 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372258 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372258 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372258 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372259 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372259 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372259 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372260 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372260 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372260 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372260 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372260 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372261 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372261 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372261 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372261 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372262 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372262 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372262 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372262 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372262 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372263 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372263 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372263 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372263 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372263 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372264 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372264 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372264 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372264 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372265 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372265 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372265 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372265 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372272 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372272 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372272 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372273 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372273 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372273 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372273 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372273 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372273 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372274 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
372274 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372274 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372274 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372274 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372275 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372276 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372276 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372276 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372276 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372287 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
372288 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372288 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372288 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372288 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372288 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372289 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372289 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372289 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372289 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372289 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372289 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372290 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372290 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372290 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372290 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372290 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372290 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372290 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372290 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372291 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372292 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372292 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372292 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372292 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372292 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372293 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372293 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372293 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372293 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372293 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372297 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372297 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372297 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372297 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372298 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372298 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372299 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372299 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372299 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372299 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372300 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372300 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372300 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372300 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372301 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372301 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372301 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372301 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372301 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372301 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372302 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372302 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372302 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372302 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372302 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372303 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
372303 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372303 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372303 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372303 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372304 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372304 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
372304 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372304 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
372305 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
372305 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:2#1
372305 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
372305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
372305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms