Intermediate final states were being left in by add_fsa(); we always want to mark the added FSA's final state as non-final.