Coko 'Precedes' Evaluator

[CodingDepot]

This PR adds a Precedes evaluator to Coko that acts as an inverted Follows evaluator. It finds instances of the right hand argument and checks whether it is preceded by the left hand argument.

This is useful when you want to state a condition for a function call to be verified.

[codecov[bot]]

Codecov Report

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

Project coverage is 77.35%. Comparing base (83170da) to head (1794b49). Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
.../backends/cpg/coko/evaluators/PrecedesEvaluator.kt	82.97%	4 Missing and 4 partials :warning:

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #863      +/-   ##
============================================
+ Coverage     77.20%   77.35%   +0.15%     
- Complexity      250      259       +9     
============================================
  Files            59       60       +1     
  Lines          1882     1930      +48     
  Branches        265      272       +7     
============================================
+ Hits           1453     1493      +40     
- Misses          308      312       +4     
- Partials        121      125       +4     

Flag	Coverage Δ
unittests	77.35% <83.33%> (+0.15%)	:arrow_up:

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

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.