Merge branch '120-divison-by-square-root-not-instrumented-correctly' into 'main'

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

See merge request !165