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)))))
  | _ -> ()