[feature] State Machine traverses constraint map.