FIX: assertion prevents from (allowed) double Traverse()