Query: Events flowing through the specified a-flow-linePurpose: Returns the events actually flowing through a-flow-lines in the input liststm_r_ev_flowing_through_ af (stm_list
in_list, int *status);
Query: Events labeling a given a-flow-linePurpose: Returns the events that label the a-flow-lines in the input liststm_r_ev_labeling_af (stm_list in_list,
int *status);