All the logic above is perfectly acceptable, however for this particular question there seems to be a different algorithm behind. The igniters as displayed on ENG page alternate A <-> B on each consecutive start.
So perhaps F(i)+A -> F(i)+B -> F(ii)+A -> F(ii)+B. (speculation).