AI coding assistants: please let us know about your needs, preferences and usage - fill in this survey: https://forms.office.com/e/axzFvLryse. Thanks for your participation!
Change CondAlg to not re-entrant II
continuation of !54140 (merged)
ping @fwinkl @tsulaia