result = tvaDataflowAnalysis.getFactAtInstruction(handle);
result = tvaDataflowAnalysis.getFactAtLocation(new Location(handle, basicBlock));
	private ThisValueFrame getFrame(InstructionHandle handle) {		ThisValueFrame result = null;		if (tvaDataflowAnalysis != null)			result = tvaDataflowAnalysis.getFactAtInstruction(handle);		return result;	}