PRUNING STRATEGIES IN THE ISIP DECODER