Only complain about initial states being missing for non-buffers