Wendler 531 Program Analysis: Does it Really Work?