Create PrecondViolatedExcep.h