checkedChangeStateProperty
fun checkedChangeStateProperty(state: State, name: Int? = null, isStart: Boolean? = null, isAcceptingState: Boolean? = null)
Same as changeStateProperty but throws an IllegalStateException if the property could not be changed.