Fixed in a test vulnerability -> structural_vulnerability
Merge branch 'master', remote-tracking branch 'origin' into faster-hazard-getters
Cosmetic changes