How do I find out reaching definitions of 'a' at statement S1? S1: a = b; What I want to know is whether S1 is defining 'a' first time or killing earlier def of 'a'. compute_reaching_defs () is not yet implemented. Is there any other alternative API? Thank you, -- Devang