added local may-alias analysis