Refactor/Redesign: Space use DynamicContext as parameter for Assert, Retrieve