nitta-lab:controlFlowModeling
nitta-lab:NavigationWindow
同時にカレントステージの変更および遷移可能性をNavigationウィンドウの表示に反映させるようにした.