feat(ExceptionCommand): introduce ExceptionCommand.
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.
chore(code-analysis) address some code anlaysis warnings.
Merge pull request #10 from jwChung/handle-exception

Handling exception thrown when creating auto data.