Restore pred_known_to_hold_modulo_regions
#123578
+291
−3
Merged