refine method isAllInSafeState