Dynamic Trace Analysis With Zero-Suppressed Bdds