Feasible reaching definitions
Feasible reaching definitions: extends traditional
Definition is removed after traversing shortest infeasible path
Each definition carries a set IPP of infeasible paths it is traversing
enter infeasible path p: insert p into IPP
leaving p prematurely: remove p from IPP
leaving p at its end: if p in IPP, discard definition
control flow merge: intersection of IPP sets