Query: Conditions flowing through a given a-flow-linePurpose: Returns the conditions actually flowing through a-flow-lines in the input liststm_r_co_flowing_through_af (stm_list
in_list, int *status);
Query: Conditions labeling a given a-flow-linePurpose: Returns the conditions which label the a-flow-lines in the input liststm_r_co_labeling_af (stm_list in_list,
int *status);