dfa mp - initial states for for loop statement
dfa mp - validates statements
dfa mp - validates for loop declaration