A function that adds no behavior to a final state.
void emptyFinalState(FinalStateBuilder builder) {}