operator [shorts] integrated into GUI. Fixed: nextStepAlternatives(..) must detect selfloops on transitions whereas checkForSuccess(..) must detect completion on states. [ as of corporate c760d8f3c94f8b7751e94aad5ec6aa1360b24356 ]