protected String stateToString(Nfa<STATE> nfa, STATE state) { if (stateFormatter != null) return stateFormatter.apply(state); if (state == null) return "null"; return state.toString(); }