Explicitly express the direction of realization nesting

Explicitly express the direction of realization nesting if not disallowed completely. Currently it is unclear for users and also for tool vendors. It is the only relationship where the direction of nesting is not specified.