Add DFAConstructor class.