parallel/1.7: Parallel recursive program refined