And s r is the end state of another existing node, whose initial state is s m .
an Andnode candidate always has two child nodes, and represents a pattern of sub-sequences which starts from state s l , ends at s r , and has s m occurred somewhere in the middle.