Assert violations are returned