222
222
| "on" when in_rule_name -> check_context_linetype s; TOn
223
223
| "ever" when in_rule_name -> check_context_linetype s; TEver
224
224
| "never" when in_rule_name -> check_context_linetype s; TNever
225
226
| "exists" when in_rule_name -> check_context_linetype s; TExists
226
227
| "forall" when in_rule_name -> check_context_linetype s; TForall
228
228
| "script" when in_rule_name -> check_context_linetype s; TScript
229
229
| "initialize" when in_rule_name -> check_context_linetype s; TInitialize
230
230
| "finalize" when in_rule_name -> check_context_linetype s; TFinalize