(cherry picked from commit 0db2a4010a5a7a57372e9135d327da8c7d92c8ab)
pred_known_to_hold_modulo_regions