this.isNullDataflow = isNullDataflow;
		public LockFrameModelingVisitor(ConstantPoolGen cpg, LockResourceTracker resourceTracker, Lock lock,		                                ValueNumberDataflow vnaDataflow) {			super(cpg);			this.resourceTracker = resourceTracker;			this.lock = lock;			this.vnaDataflow = vnaDataflow;		}