Implement Don't-Care filling option
Fix statistics of undetected faults