Better explain what DEMAND_NO_PRUNE do