rule translat local misc state machin 