if (valueNumberAnalysis != null) result = valueNumberAnalysis.getFactAtLocation(new Location(handle, basicBlock));
if (vnaDataflow != null) result = vnaDataflow.getFactAtLocation(new Location(handle, basicBlock));
	private ValueNumberFrame getFrame(InstructionHandle handle, BasicBlock basicBlock) {		ValueNumberFrame result = null;		if (valueNumberAnalysis != null)			result = valueNumberAnalysis.getFactAtLocation(new Location(handle, basicBlock));		return result;	}