test the functinality of straightDFA