Symbol: DEVITER_F_LEAVES_FIRST