Issue 40: Correlated ifs
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Can we add support for correlated ifs?  We already know when a condition is
used again (the tested variable remains live), but the trick would be to
join lattices in such a way that changes dependent on a condition are kept
separately