Note that "covered:by=bridge" is descriptive mapping and I support it. But just don't add "covered=yes" just because the driver cannot see the overhead sun.

If following consequential mapping principles, then multi-stacked highway interchanges will have many useless "covered=yes" segments that does nothing but to indicate "the driver cannot see the overhead sun here", which is useless and nonsensical. Like, you can just analyze the map and then realize, some other bridge is crossing over the road but at a higher layer, and so this segment very likely cannot see the overhead sun. It should be like that. Empower the tools.