dfaConstructor test1 passed