Query: A-flow-lines through which a given condition flowsPurpose: Returns the a-flow-lines through which conditions in the input list actually flowstm_r_af_within_flows_co (stm_list
in_list, int *status);
Query: A-flow-lines labeled with a given conditionPurpose: Returns the a-flow-lines labeled with conditions in the input liststm_r_af_within_labels_co (stm_list
in_list, int *status);