Support for normalising pattern constraint errors