state_MISSWS was added because we need to miss then, else and second ws after them