varying/bug: not ceasing inner varying when flatten varying is stopped.