Query: Elements flowing through a given m-flow-linePurpose: Returns the information elements (conditions, events, data-items and basic information-flows) that actually flow through the m-flow-lines in the input liststm_r_mx_flowing_through_ mf (stm_list
in_list, int *status);
stm_r_mx_information_ through_mf (stm_list
in_list, int *status);
Query: Elements labeling a given m-flow-linePurpose: Returns the elements that label m-flow-lines in the input liststm_r_mx_labeling_mf (stm_list in_list,
int *status);