Query: History connectors sources of a given transitionPurpose: Returns the history connectors that are sources of transitions in the input list Query: Termination or history connectors targets of a given transitionPurpose: Returns the termination and history connectors that are targets of transitions in the input liststm_r_cn_target_of_tr (IN tr_list: LIST OF
TRANSITION,OUT status: INTEGER)