rule translat local misc state machin transit 