propagations propagate IndexedObjectSomeValueFrom; slightly optimized
the implementation of SubContext