Also add some annotations to remove some false positives. There remain some boost-related false positives, it’s unclear how to suppress them.