Helper method in state development.
This method will attempt to find the follow-up transition of OK type and return the corresponding follow-up state.
If not found, it will set the processing engine to terminate, or
SmappStateProcessingAction
.terminateProcessing();
SmappState of the OK follow-up transition