Sounds good. Thanks for answering the question.
My proposal requires that objects and their trees can be searchable with dfs iff they are are incoming or outgoing from a foriegn interface. All such elements are on freezable so perfect, no worries!