rule translat local misc state machin state 