Adjust for ModuleEffectiveStatement argument