Interface OutputEffectiveStatement