Implemented the AutoDataTheory feature.