Add equal vars for Rules to cnf building

[kddejong]

Issue #, if available:
fix #3710

Description of changes:

• Add equal vars for Rules to cnf building

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.69%. Comparing base (9782e80) to head (5a54700).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3714      +/-   ##
==========================================
- Coverage   93.71%   93.69%   -0.03%     
==========================================
  Files         362      362              
  Lines       12345    12346       +1     
  Branches     2635     2635              
==========================================
- Hits        11569    11567       -2     
- Misses        429      430       +1     
- Partials      347      349       +2     

Flag	Coverage Δ
unittests	93.63% <100.00%> (-0.03%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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