improved treatment of constants in local may-alias analysis