Query: Events contained in a given information-flowPurpose: Returns the events contained in information-flows from the input list (events used in the Consists of field of the information-flow’s form)stm_r_ev_contained_in_if (IN if_list: LIST OF
INFORMATION_FLOW, OUT status: INTEGER)