1  Labbé et al.’s definition of control dependence in [LGP07] differs slightly from Labbé et al. [LG08], so we evaluate the most recent.