Extract base class for tracking thrown contract violations. Moved message building responsibility to CheckingPolicy.