anchor.diff:          var suffix = suffixes.isNotEmpty ? ' (${suffixes.join(', ')})' : '';
           return '${edge.destinationNode}$suffix';
         });
  -      var suffixes = <String>[];
  -      if (source.isNullable) {
  -        suffixes.add('nullable');
  -      }
  -      if (source.hasNonNullIntent) {
  -        suffixes.add('non-null intent');
  -      }
  -      var suffix = suffixes.isNotEmpty ? ' (${suffixes.join(', ')})' : '';
  -      print('$source$suffix -> ${destinations.join(', ')}');
  +      var state = source._state;
  +      print('$source ($state) -> ${destinations.join(', ')}');
       }
     }
   
  
positive.code:   _NullabilityNodeImmutable(this._debugPrefix, this.isNullable) : super._();
  
    @override
    bool get hasNonNullIntent => !isNullable;
  }
  
  class _NullabilityNodeSimple extends NullabilityNodeMutable {
  
negative.code:   bool get isPossiblyOptional => _isPossiblyOptional;
  
    String get _debugPrefix;
  
    _NullabilityState get _state;
  
    /// Records the fact that an invocation was made to a function with named
    /// parameters, and the named parameter associated with this node was not
  