Fix Value::stripPointerCasts and BasicAA to avoid trouble on