Hi. > I'm not sure but as you pointed we have blocks in Shimple therefore if I > check the Immediate dominator of the block that my variable is in I can get > my answer, is that correct? No, Shimple has no notion of blocks either. It just implements SSA. Eric