Implementation Mechanisms for Dependent And-Parallelism