Archit Shah

This pull request is intended to address #945 . It appears that re-computing the dominator sets as and_pullup and or_pullup change the control flow graph prevents the bug from emerging.

…unavailable to successor blocks. The libpcap optimizer removes statements as dead that store certain values but does not account for the fact that a successor block may attempt to read...