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 (IN tr_list: LIST OF
TRANSITION, OUT status: INTEGER)
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 (IN tr_list: LIST OF
TRANSITION, OUT status: INTEGER)