Changed "requires" as variable names to differentiate from c++20 keyword requires

[jparsert]

Fixes #7750 by changing some variable and argument names.

[codecov]

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (ff55271) 78.55% compared to head (fadd0be) 78.55%.

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #7751   +/-   ##
========================================
  Coverage    78.55%   78.55%           
========================================
  Files         1691     1691           
  Lines       193136   193171   +35     
========================================
+ Hits        151721   151755   +34     
- Misses       41415    41416    +1     

Impacted Files	Coverage Δ
src/goto-instrument/contracts/memory_predicates.h	100.00% <ø> (ø)
.../contracts/dynamic-frames/dfcc_wrapper_program.cpp	95.96% <100.00%> (+0.04%)	⬆️
...rc/goto-instrument/contracts/memory_predicates.cpp	84.40% <100.00%> (ø)

... and 2 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

[tautschnig]

Still needs a clang-format fix.

[jparsert]

@tautschnig Thanks, I added the syntactic changes suggested by clang-format.