Make ana.widen.delay.* option description more precise

Author: sim642

src/config/options.schema.json

@@ -1169,13 +1169,13 @@
               "properties": {
                 "local": {
                   "title": "ana.widen.delay.local",
-                  "description": "Delay local widenings by count.",
+                  "description": "Delay local constraint unknown widenings by count.",
                   "type": "integer",
                   "default": 0
                 },
                 "global": {
                   "title": "ana.widen.delay.global",
-                  "description": "Delay global widenings by count.",
+                  "description": "Delay global constraint unknown widenings by count.",
                   "type": "integer",
                   "default": 0
                 }