Deakstadieđáhus: Static Analysis to Enhance the Power of Model Checking for Concurrent Software