Predicate Redux :: reducerToStateStep
Holds if pred -> succ
should be a step from a reducer to a state access affected by the reducer.
Import path
import javascript
predicate
reducerToStateStep
(
Node
pred
,
Node
succ
)