let check_event_in_lhs msg hlpsl_reaction =
  let rec check = function
      [] ->
        Error_handler.displayWarning 8 msg
    | Event(_,_)::_ -> ()
    | _::rest -> check rest 
  in
  check (hlpsl_reaction#get_lhs)