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.
Uncomment commented lines, that fail on Mac.