Query: M-flow-lines through which a given information-flow flowsPurpose: Returns the m-flow-lines through which information-flows from the input list actually flowstm_r_mf_within_flows_if (stm_list
in_list, int *status);
Query: M-flow-lines labeled with a given information-flowPurpose: Returns the m-flow-lines that are labeled with information-flows in the input liststm_r_mf_within_labels_if (stm_list
in_list, int *status);