False positives (function modifiers not understood)

It seems like Slither doesn't take into account function modifiers?

`onlyOwner` not taken into account:
```
function kill() external onlyOwner {
selfdestruct(msg.sender);
}
```
`kill() allows anyone to destruct the contract`

`nonReentrant` not taken into account.
Using Openzeppelin ReentrancyGuard and nonReentrant modifier, I still get many reentrancy warnings from Slither.

Could Slither be smarter and analyze function modifiers?