Fix implied variable bounds in ReLU

[odow]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.78%. Comparing base (c2a1d5b) to head (e17b6d8).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #138   +/-   ##
=======================================
  Coverage   89.78%   89.78%           
=======================================
  Files          21       21           
  Lines         509      509           
=======================================
  Hits          457      457           
  Misses         52       52           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.