dfaConstructor completed, waiting for test.