Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults