Add more information when contract validation throws exception