FIX: now we include the root expression in traversals