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)