Query: Basic information-flows flowing through a given a-flow-line.Purpose: Returns information-flows that are not decomposed to other information items, and are flowing through a-flow-lines in the input list.stm_r_if_basic_flowing_af (stm_list
in_list, int *status);
Query: Information-flows flowing through a given a-flow-line.Purpose: Returns the information-flows flowing through a-flow-lines in the input list.Note: This function returns the highest information-flows, as opposed tostm_r_if_basic_ flowing_af,
which returns the lowest level.stm_r_if_flowing_through_ af (stm_list
in_list, int *status);
Query: Information-flows labeling a given a-flow-line.Purpose: Returns the information-flows that label a-flow-lines in the input list.stm_r_if_labeling_af (stm_list in_list,
int *status);