rule translat local misc behavior featur statechart diagram 