David, I'm not so sure this is actually a bug. `toat' doesn't appear because it is a new feature and the compilation didn't succeed, so all bets are off. If you introduce an VHRC(1) error on an existing feature - instead of changing the feature `stoat' to `toat', alter the rename clause to rename a non-existing feature.

The compiler removed the `stoat' feature and tried to add `toat', so it makes sense that an incomplete compilation would not show `toat' in the flat form.