Query: Conditions contained in a given information-flowPurpose: Returns the conditions contained in information-flows from the input list (conditions appearing in the Consists of field of an information-flow)stm_r_co_contained_in_if (IN if_list: LIST OF
INFORMATION_FLOW, OUT status: INTEGER)