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