As idle statemachines aren't in any list, it's not possible (without adding that list) to delete them. I don't think that there are any active statemachines left at the end of flush anyway, but killing them doesn't much sense if we can't get them all: there will always be statemachines left: those that were idle at the moment the viewer was quit.