increment_state

1301

state = increment_state(state);

1684

left_true_state = increment_state(left_true_state);

1685

left_false_state = increment_state(left_false_state);

1692

right_true_state = increment_state(right_true_state);

1693

right_false_state = increment_state(right_false_state);