[PATCH] Fix crash in CFGReachabilityAnalysis triggered by IdempotentOperationChecker.

[Ted Kremenek]

  I’d rather this be an assertion instead of a soft failure.  The invariant is being broken here.  We’ll need to fix the upstream bug causing this problem.

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