Fixed #678: Support condition variable in head of while.

[andreasfertig]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.85%. Comparing base (3b725b3) to head (2acd9cf).
Report is 2 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #685      +/-   ##
==========================================
- Coverage   98.10%   97.85%   -0.25%     
==========================================
  Files          19       20       +1     
  Lines        5475     6541    +1066     
==========================================
+ Hits         5371     6401    +1030     
- Misses        104      140      +36     

Flag	Coverage Δ
insights-macos	97.13% <100.00%> (?)
insights-ubuntu-amd64-libcxx-No	98.10% <100.00%> (+<0.01%)	⬆️
insights-ubuntu-amd64-libcxx-Yes	98.08% <100.00%> (?)
insights-ubuntu-arm64-libcxx-No	98.06% <100.00%> (?)
insights-ubuntu-arm64-libcxx-Yes	98.04% <100.00%> (?)

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.