Yoann Marquer, Tania Richmond, Pascal Véron: A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version). CoRR abs/2103.04606 (2021)