Update fold-const.h