This module needs for finite state machine utils. For example StateList.