242   C.addTransition(State);  in checkDeadSymbols()
264   C.addTransition(State);  in handleBegin()
286   C.addTransition(State);  in handleEnd()
362   C.addTransition(State);  in handleAssignment()
376   C.addTransition(State);  in handleAssign()
397         C.addTransition(State);  in handleClear()
405   C.addTransition(State, ChangeTag);  in handleClear()
420     C.addTransition(State);  in handlePushBack()
444     C.addTransition(State, ChangeTag);  in handlePushBack()
484     C.addTransition(State, ChangeTag);  in handlePopBack()
500     C.addTransition(State);  in handlePushFront()
518       C.addTransition(State, ChangeTag);  in handlePushFront()
555     C.addTransition(State, ChangeTag);  in handlePopFront()
586     C.addTransition(State);  in handleInsert()
621   C.addTransition(State);  in handleErase()
657   C.addTransition(State);  in handleErase()
678   C.addTransition(State);  in handleEraseAfter()
692   C.addTransition(State);  in handleEraseAfter()