rule translat local misc state machin diagram 