Ya, just because that elevated section still exist doesn't mean long-ago-demolished, non-existing railway should be mapped. That =razed value is a bullshit carveout that's being exploited by ORM to keep non-existing data in OSM so that their relations are not broken. That's https://wiki.openstreetmap.org/wiki/Tagging_for_the_renderer.