Resolve "Divison by square root not instrumented correctly" [Non-BE]

Vladimir Malenovskyrequested to merge
120-divison-by-square-root-not-instrumented-correctly into main

Closes #120 (closed)

Merge request reports