Optimized and loosen constraint on Traversable (DUALTreeNE d u a)