c++/contracts: ICE in build_contract_condition_function [PR116490]