What would this traverser do? Does it exist only to call into RelationExpander? If yes, how about getting rid of it and inlining the call into `newPhase`?