let check_start handle_error = function
Event(t1, Base(Const(n))::_) ->
if (Globals.string_id#get_name n) = "start" then
(match t1 with
Var(n)
| Const(n) ->
(try
(match (Globals.type_table#get_type n) with
Base(x)
| Prime(x) ->
(match x with
Channel
| Channel_dy
| Channel_ota -> ()
| _ -> handle_error (fun _ -> raise Error_start) ())
| _ -> ())
with Not_found ->
ignore (Globals.type_table#register_type n (Base(Channel)))))
| _ -> ()