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