superWrittenFields.add(nameConstant);
superWrittenFields.add(getNameConstantOperand());
    public void sawOpcode(int seen) {	if (seen == ALOAD_1) {		count_aload_1++;		}	else if (seen == GETFIELD) {		FieldAnnotation f = FieldAnnotation.fromReferencedField(this);		if (DEBUG) System.out.println("get: " + f);		readFields.add(f);		if (classConstant.equals(className) && 			!myFields.contains(f)) {			superReadFields.add(nameConstant);			}		}	else if (seen == PUTFIELD) {		FieldAnnotation f = FieldAnnotation.fromReferencedField(this);		if (DEBUG) System.out.println("put: " + f);		writtenFields.add(f);		if (classConstant.equals(className) && 			!myFields.contains(f)) {			superWrittenFields.add(nameConstant);			}		}	}