[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.

示されている x / 10 式について Division_by_zero を報告する、reanalyze の例外解析パスから始めます。分母の値がどのように分類されるかを追跡し、その後、ゼロでない定数分母では注釈警告が生成されなくなっていることを確認するとともに、issue の再現が引き続きカバーされていることを確認します。