fixed bug in successor computation which was giving weaker dead code elim