Added OptinalStringUnwrapper for handling of empty strings
Allow reporting of input contract violations