[ E1 ] --> [ E2 ]
[ E1 ] --> [ S1 ]
[ E1 ] --> [ S2 ]
[ E2 ] --> [ S1 ]
[ E2 ] --> [ S2 ]
[ S1 ] --> [ S2 ]
