Use nfaStateFree instead of free on states