Query: Information-flows defined or unresolved in a given chartPurpose: Returns the information-flows that are explicitly defined or unresolved in the charts of the input liststm_r_if_def_or_unres_in_ ch (stm_list
in_list, int *status);
Query: Information-flows defined in a given chartPurpose: Returns the information-flows that are explicitly defined in the charts of the input liststm_r_if_defined_in_ch (stm_list in_list,
int *status);
Query: Information-flows unresolved in a given chartPurpose: Returns the information-flows that are unresolved in the charts of the input liststm_r_if_unresolved_in_ch (stm_list
in_list, int *status);