[PATCH] [analyzer] Refactor conditional expression evaluating code

[Jordan Rose]

  What about ternary operators? More importantly, what about logical operators that are not immediate children of other logical operators?

  ```if (compute(A() || B(), compute(C() || compute(E(), true), false)))```

http://llvm-reviews.chandlerc.com/D1340