Allow reporting of input contract violations