feat(ExceptionCommand): set correct constructor arguments.
feat(ExceptionCommand): add null guard clause to the constructor.
docs(ExceptionCommand): add XML documents.
feat(ExceptionCommand): add exception parameter to the constructor.
feat(ExceptionCommand): implement Execute.
docs(ExceptionCommand): improve the XML comment on Execute.
feat(Theorem): handle exception thrown when creating auto data.