dfaConstructor completed tests all passed