Improve style.
Add a reproducer in the test of a current issue for Baozeng to look into.

This happens probably because we don't iterate over the redecl chains and thus
we don't pickup the attribute.