US9715564B2 - Scalable and Automated Identification of Unobservability Causality in Logic Optimization Flows