Query: M-flow-lines through which a given condition flowsPurpose: Returns the m-flow-lines through which conditions from the input list actually flowstm_r_mf_within_flows_co (stm_list
in_list, int *status);
Query: M-flow-lines labeled by a given conditionPurpose: Returns the m-flow-lines that are labeled by the conditions in the input liststm_r_mf_within_labels_co (stm_list
in_list, int *status);