working on return statment dfa