Simplification
P[|ON 2+1 TOTAL IF LA,2,0 TOTAL OFF|]
= S [| 2+1 TOTAL IF LA, 2, 0 TOTAL OFF |] (zero)
= let n’ = E [| 2+1 |](zero)
in n’ cons S [| IF LA , 2 , 0 TOTAL OFF |](n’ )
= let n’ = three in n’ cons S [| IF LA , 2 , 0 TOTAL OFF |](n’ )
= three cons S [| IF LA , 2 , 0 TOTAL OFF |](three)
= three cons (E [| IF LA , 2 , 0 |](three) cons nil)
= three cons (zero cons nil)