FIX semantics of OuterDefinitionStep