Documentation Preview.

https://arxiv.org/pdf/2207.03894,
Definition 3[Copy Propagation]: The use of a variable y in the statement z=x+y occurring at a point
p can be replaced by a variable w if every path from the entry node to point p contains the same
definition y=w, for the variable y, and after the definition prior to reaching p, there is no redefinition to
the variable y and no redefinition to the variable w.

Codecov Report

Attention: Patch coverage is 83.33333% with 6 lines in your changes missing coverage. Please review.

Project coverage is 71.90%. Comparing base (199ebe8) to head (f373fd5).
Report is 1 commits behind head on develop.

@@              Coverage Diff              @@
##             develop    #1022      +/-   ##
=============================================
- Coverage      71.95%   71.90%   -0.06%     
+ Complexity      4454     4453       -1     
=============================================
  Files            367      367              
  Lines          16377    16403      +26     
  Branches        2740     2748       +8     
=============================================
+ Hits           11784    11794      +10     
- Misses          3688     3694       +6     
- Partials         905      915      +10     

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