Never attempt to recover from our custom debugging asserts (refinement makes no sense)
+1 Test