Static Hazard Analyzer
Find static-1 and static-0 hazards. Add cover terms to fix.