Your IDE probably supports this as an explicit action. JetBrains has a feature that can find all reads and writes to a variable

It also has the ability to style mutated variables differently.

Yes, depending on your highlighting scheme. Not every highlighting scheme shows this by default, unfortunately.

To me, this seems initially like some very minor thing, but I find this very helpful working with non-trivial code. For larger methods you can directly discern whether a not-as-immutable-declared variable behaves immutable nonetheless.