}
}
}
} else {
// Optimistic approximation
Actor[] actors = controller.currentState().getRefinement();
// If the modal model has no refinements, the modal model is
// basically an FSM actor. We use the function dependency of
// the controller instead.
if ((actors != null) && (actors.length > 0)) {
for (int i = 0; i < actors.length; ++i) {