Fixed issue with POSPruner