Almost everything is undecidable. Yet static analysis still works well. It turns out that real programs often don't trigger the nasty behavior that makes things behave badly.