Added check for stack variables in 'DFA_set_state', formatted code