Restore pred_known_to_hold_modulo_regions
#123578
Merged
pred_known_to_hold_modulo_regions
#123578