Tried several different iterations of step-dfa