Carry =   1p -> choc -> Main
        | 2p -> choc -> Carry
        | 3p -> choc -> choc -> Main
        ;

Main =   1p -> Carry
       | 2p -> choc -> Main
       | 3p -> choc -> Carry
       ;