dfa mp - validates for loop body