Query: Conditions flowing through a given m-flow-linePurpose: Returns the conditions actually flowing through m-flow-lines in the input liststm_r_co_flowing_through_mf (stm_list
in_list, int *status);
Query: Conditions labeling a given m-flow-linePurpose: Returns the conditions that label the m-flow-lines in the input liststm_r_co_labeling_mf (stm_list in_list,
int *status);