strengthen an assumption: RevectorBlockTo knows that PredBB