Create PrecondViolatedExcept.h