- removed some source of false positives by tracking which local
variable must be aliased with the ThisRef.