... The IDE has a deep semantic model of your code and it ...
... correct. I did not say that the Arizona law was a model ...