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)