>Yes, Thor has a tool to add mdots. The tool has an option, so you can add them only where they make a difference (that is, only on accesses,
not assignments). On the Thor menu, it's Code | MDots | Add MDots to Variable names.

If that is not the default value it should be. MDotting assignment targets (both store and "=") adds a minimal, but totally unnecessary lookup
step

my 0.02€

thomas