//StateItf sa = super.writeIntention(sp, fields, thinLock);
cv.visitVarInsn(ALOAD, 0);
cv.visitVarInsn(ALOAD, 1);
cv.visitVarInsn(ALOAD, 2);
cv.visitVarInsn(ALOAD, 3);
cv.visitMethodInsn(INVOKESPECIAL, gc.superClassJCN, "writeIntention", methodDesc);
cv.visitVarInsn(ASTORE, 4);
//if (fields == null) {
cv.visitVarInsn(ALOAD, 2);
Label labelElse = new Label();