added deep chase pruning