Fix {Input,Output}EffectiveStatement definition