Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets