dfaConstructor test2 passed