[workaround] traverse_seq is broken, use traverse_shared instead