decrement_state

1309

state = decrement_state(state);

1688

left_true_state = decrement_state(left_true_state);

1689

left_false_state = decrement_state(left_false_state);

1696

right_true_state = decrement_state(right_true_state);

1697

right_false_state = decrement_state(right_false_state);