It would be useful if AT READ and AT WRITE location specifiers could be used to identify locations where local variables or parameters were accessed as well as locations where fields where accessed. It might be necessary to provide a variant fo the current syntax to disambiguate the location e.g. AT WRITE VAR <name> vs AT WRITE FIELD <name>.