[reanalyze] [bug] division_by_zero exception analysis should check constant denominators

repro:

let foo = (x: int) => {
  x / 10
}

reanalyze gives:

{
  "name": "Exception Analysis",
  "kind": "warning",
  "file": "Foo.res",
  "range": [20,4,20,7],
  "message": "foo might raise Division_by_zero (Foo.res:22:4) and is not annotated with @raises(Division_by_zero)",
  "annotate": { "line": 20, "character": 0, "text": "@raises(Division_by_zero)\n", "action": "Add @raises annotation"}
}

it's trivially clear that division by zero can't happen, and so reanalyze should not suggest the annotation.

Comienza en la ruta de análisis de excepciones de reanalyze que informa de Division_by_zero para la expresión mostrada x / 10. Rastrea cómo se clasifican los valores del denominador y, a continuación, verifica que un denominador constante distinto de cero ya no produzca la advertencia de anotación, mientras la reproducción del issue siga estando cubierta.