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 (stm_list
in_list, int *status);