I should clarify: while I think human experts can tell a lot statically, there are lots of important cases they /can't/ analyze statically, and have to read out - but this reading can be accomplished by applying expert knowledge and good heuristics: humans do it, so it's doable. -David