Check that error states are final states and initial states are start states