Interface ArgumentEffectiveStatement