else case pruning