Started post2nfa algo and stubbed out NfaFragment and NfaState classes