-           <1> null vK/1 ->-
 s              <|> and(other->t) vK/1 ->k
+-                 <@> lineseq sK ->s
+-                    <0> ex-nextstate v* ->l
 r                    <2> gt sK/2 ->s
 n                       <2> add[t7] sK/2 ->o