FIX Several bugs in the pruner.