list choic list ret arrai list object target model facad object flow state object classifi type model facad classifi classifi ret add model model manag helper model element kind model classifi choic todo want restrict list paramet conform follow wfr paramet type ofstyp paramet kind ofstyp supertyp includ type paramet kind paramet kind type supertyp includ ofstyp paramet kind inout ofstyp supertyp includ type type supertyp includ ofstyp ret 