public Location(InstructionHandle handle, BasicBlock basicBlock) {
public Location(@NonNull InstructionHandle handle, @NonNull BasicBlock basicBlock) { if (handle == null) throw new NullPointerException("handle cannot be null"); if (basicBlock == null) throw new NullPointerException("basicBlock cannot be null");
	public Location(InstructionHandle handle, BasicBlock basicBlock) {		this.handle = handle;		this.basicBlock = basicBlock;	}