pick nicest state collect distinct follow level nice ul li name simpl state exclud objectflowst li name composit state exclud submachinest li unnam simpl state exclud objectflowst li unnam composit state exclud submachinest li param state collect state nicest state object pick nicest state collect state state size state iter collect simpl arrai list collect composit arrai list iter state iter object st model facad st model facad simpl state st model facad object flow state st simpl add st length st state iter object st model facad st model facad composit state st model facad submachin state st composit add st length st simpl size simpl iter composit size composit iter state iter 