[feature] New constraint factory for the State Machine.