Referential safety checker changed to operate on reference target rather than on unresolved property access components.