let check_no_event_in_lhs msg hlpsl_action =
  let rec check = function
      [] -> ()
(*
    | Event(Const(n),[])::rest ->
        if (n = !Globals.global_start) then
          check rest
        else
        Error_handler.displayWarning 9 msg
*)

    | Event(_,_)::_ ->
        Error_handler.displayWarning 9 msg
    | _::rest -> check rest
  in
  check (hlpsl_action#get_lhs)