@Override
 protected int computeHashCode() {
   final int prime = 31;
   int result = super.hashCode();
   result = prime * result + index;
   result = prime * result + ((receiver == null) ? 0 : receiver.hashCode());
   return result;
 }