anchor.diff:    visitPropertyAccess(PropertyAccess node) {
       // Allow getters; getters with side effects were the main cause of false
       // positives.
  -    var bestElement = node.propertyName.staticElement;
  -    if (bestElement is PropertyAccessorElement && !bestElement.isSynthetic) {
  +    var element = node.propertyName.staticElement;
  +    if (element is PropertyAccessorElement && !element.isSynthetic) {
         return;
       }
   
  
positive.code:   visitPrefixedIdentifier(PrefixedIdentifier node) {
      // Allow getters; getters with side effects were the main cause of false
      // positives.
      var bestElement = node.identifier.staticElement;
      if (bestElement is PropertyAccessorElement && !bestElement.isSynthetic) {
        return;
      }
  
  
negative.code:   visitSimpleIdentifier(SimpleIdentifier node) {
      // Allow getters; getters with side effects were the main cause of false
      // positives.
      var element = node.staticElement;
      if (element is PropertyAccessorElement && !element.isSynthetic) {
        return;
      }
  
  