Query: States that are sources of a given transitionPurpose: Returns the states that are sources of transitions in the input liststm_r_st_source_of_tr (stm_list in_list,
int *status);
Query: States that are targets of a given transitionPurpose: Returns the states that are targets of transitions in the input liststm_r_st_target_of_tr (stm_list in_list,
int *status);