Query: A-flow-lines through which a given event flowsPurpose: Returns the a-flow-lines through which events from the input list actually flowstm_r_bf_within_flows_ev (stm_list
in_list, int *status);
Query: A-flow-lines labeled by a given eventPurpose: Returns the a-flow-lines labeled with events in the input liststm_r_bf_within_labels_ev (stm_list
in_list, int *status);