this.paramValue = UNKNOWN_VALUES_ARE_NSP ? IsNullValue.nullOnSimplePathValue() : IsNullValue.nonReportingNotNullValue();
	public IsNullValueAnalysis(MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs,	                           AssertionMethods assertionMethods) {		super(dfs);		this.methodGen = methodGen;		this.visitor = new IsNullValueFrameModelingVisitor(methodGen.getConstantPool(), assertionMethods);		this.vnaDataflow = vnaDataflow;		this.numNonExceptionSuccessorMap = new int[cfg.getNumBasicBlocks()];		// For each basic block, calculate the number of non-exception successors.		Iterator<Edge> i = cfg.edgeIterator();		while (i.hasNext()) {			Edge edge = i.next();			if (edge.isExceptionEdge())				continue;			int srcBlockId = edge.getSource().getId();			numNonExceptionSuccessorMap[srcBlockId]++;		}	}