Added validation to have only one initial state