Update nfa_to_json.py

mostly there