(cherry picked from commit 68d7c837fc377ac4145d931171fa2b1d1bd1670f)
pred_known_to_hold_modulo_regions