Adjust LeafEffectiveStatement argument storage