Purpose: Returns the charts in which the states in
the input list are explicitly defined or unresolved
stm_r_ch_define_st (IN st_list: LIST OF STATE, OUT
status: INTEGER)
Purpose: Returns the statecharts that define the
instance states in the input list
stm_r_ch_defining_st (IN st_list: LIST OF STATE, OUT
status: INTEGER)