best_blame_constraint: Blame better constraints when the region graph has cycles from invariance or 'static

best_blame_constraint: Blame better constraints when the region graph has cycles from invariance or 'static #145544