Properties for runStateBidir and runRewrite1
Changed a name