* Fix has_root_child method on _state
* Add sbd constraints to transitions