Penso que aqui throw e pull correspondem a introduzir e puxar, mas que "double throwing" será uma laçada dupla. Encontrei algumas ocorrências, mas é um pouco um tiro no escuro, pois apesar de existir o termo pode não corresponder a este termo em inglês. É apenas uma sugestão.