1=>S(a|)E
2SE
3SxE
4=>S(|b)E
5SE
6SxE
7=>S(a||b)E
8SE
9SxE
10