BasicAA: Use reachabilty instead of dominance for checking value equality in phi