return new LockFrameModelingVisitor(cpg, this, resource);
return new LockFrameModelingVisitor(cpg, this, resource, vnaDataflow);
		public ResourceValueFrameModelingVisitor createVisitor(Lock resource, ConstantPoolGen cpg) {			return new LockFrameModelingVisitor(cpg, this, resource);		}