Make isIsolatedAbove robuster to invalid IR
Make isIsolatedAbove robuster to invalid IR

This function is only called from the verifier.

PiperOrigin-RevId: 267145495

cxxgtxy/tensorflow,freedomtan/tensorflow,Intel-Corporation/tensorflow,karllessard/tensorflow,gautam1858/tensorflow,petewarden/tensorflow,gunan/tensorflow,sarvex/tensorflow,DavidNorman/tensorflow,frreiss/tensorflow-fred,ppwwyyxx/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,adit-chandra/tensorflow,aam-at/tensorflow,xzturn/tensorflow,annarev/tensorflow,freedomtan/tensorflow,freedomtan/tensorflow,annarev/tensorflow,aam-at/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,yongtang/tensorflow,adit-chandra/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,gautam1858/tensorflow,renyi533/tensorflow,davidzchen/tensorflow,xzturn/tensorflow,ppwwyyxx/tensorflow,aldian/tensorflow,arborh/tensorflow,Intel-Corporation/tensorflow,tensorflow/tensorflow,aam-at/tensorflow,Intel-tensorflow/tensorflow,frreiss/tensorflow-fred,tensorflow/tensorflow-experimental_link_static_libraries_once,paolodedios/tensorflow,jhseu/tensorflow,yongtang/tensorflow,renyi533/tensorflow,arborh/tensorflow,petewarden/tensorflow,petewarden/tensorflow,aldian/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,gautam1858/tensorflow,DavidNorman/tensorflow,tensorflow/tensorflow,chemelnucfin/tensorflow,gunan/tensorflow,karllessard/tensorflow,annarev/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,chemelnucfin/tensorflow,chemelnucfin/tensorflow,yongtang/tensorflow,renyi533/tensorflow,renyi533/tensorflow,Intel-tensorflow/tensorflow,ppwwyyxx/tensorflow,petewarden/tensorflow,Intel-Corporation/tensorflow,petewarden/tensorflow,frreiss/tensorflow-fred,petewarden/tensorflow,Intel-Corporation/tensorflow,davidzchen/tensorflow,petewarden/tensorflow,yongtang/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,paolodedios/tensorflow,ppwwyyxx/tensorflow,annarev/tensorflow,tensorflow/tensorflow-pywrap_saved_model,adit-chandra/tensorflow,yongtang/tensorflow,petewarden/tensorflow,petewarden/tensorflow,gunan/tensorflow,Intel-tensorflow/tensorflow,adit-chandra/tensorflow,cxxgtxy/tensorflow,chemelnucfin/tensorflow,freedomtan/tensorflow,ppwwyyxx/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,xzturn/tensorflow,renyi533/tensorflow,frreiss/tensorflow-fred,aam-at/tensorflow,renyi533/tensorflow,renyi533/tensorflow,jhseu/tensorflow,Intel-tensorflow/tensorflow,arborh/tensorflow,tensorflow/tensorflow-pywrap_saved_model,karllessard/tensorflow,karllessard/tensorflow,paolodedios/tensorflow,ppwwyyxx/tensorflow,xzturn/tensorflow,sarvex/tensorflow,davidzchen/tensorflow,ppwwyyxx/tensorflow,freedomtan/tensorflow,chemelnucfin/tensorflow,tensorflow/tensorflow-pywrap_saved_model,davidzchen/tensorflow,chemelnucfin/tensorflow,paolodedios/tensorflow,ppwwyyxx/tensorflow,tensorflow/tensorflow-pywrap_saved_model,sarvex/tensorflow,tensorflow/tensorflow-pywrap_saved_model,paolodedios/tensorflow,gunan/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,paolodedios/tensorflow,paolodedios/tensorflow,aam-at/tensorflow,xzturn/tensorflow,Intel-Corporation/tensorflow,DavidNorman/tensorflow,jhseu/tensorflow,tensorflow/tensorflow-pywrap_saved_model,tensorflow/tensorflow-pywrap_saved_model,davidzchen/tensorflow,sarvex/tensorflow,adit-chandra/tensorflow,gunan/tensorflow,arborh/tensorflow,arborh/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,paolodedios/tensorflow,davidzchen/tensorflow,frreiss/tensorflow-fred,yongtang/tensorflow,ppwwyyxx/tensorflow,davidzchen/tensorflow,aldian/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,chemelnucfin/tensorflow,aldian/tensorflow,tensorflow/tensorflow-pywrap_saved_model,renyi533/tensorflow,frreiss/tensorflow-fred,gautam1858/tensorflow,gunan/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,davidzchen/tensorflow,gautam1858/tensorflow,karllessard/tensorflow,Intel-tensorflow/tensorflow,adit-chandra/tensorflow,aam-at/tensorflow,tensorflow/tensorflow,frreiss/tensorflow-fred,jhseu/tensorflow,karllessard/tensorflow,annarev/tensorflow,Intel-tensorflow/tensorflow,DavidNorman/tensorflow,aldian/tensorflow,xzturn/tensorflow,annarev/tensorflow,gunan/tensorflow,aam-at/tensorflow,paolodedios/tensorflow,petewarden/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,DavidNorman/tensorflow,tensorflow/tensorflow-pywrap_saved_model,annarev/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,karllessard/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,karllessard/tensorflow,sarvex/tensorflow,sarvex/tensorflow,Intel-tensorflow/tensorflow,gautam1858/tensorflow,frreiss/tensorflow-fred,karllessard/tensorflow,annarev/tensorflow,annarev/tensorflow,xzturn/tensorflow,gunan/tensorflow,xzturn/tensorflow,frreiss/tensorflow-fred,cxxgtxy/tensorflow,karllessard/tensorflow,xzturn/tensorflow,aam-at/tensorflow,ppwwyyxx/tensorflow,ppwwyyxx/tensorflow,chemelnucfin/tensorflow,ppwwyyxx/tensorflow,arborh/tensorflow,xzturn/tensorflow,tensorflow/tensorflow,davidzchen/tensorflow,gunan/tensorflow,Intel-Corporation/tensorflow,freedomtan/tensorflow,gunan/tensorflow,yongtang/tensorflow,aam-at/tensorflow,gunan/tensorflow,gautam1858/tensorflow,adit-chandra/tensorflow,tensorflow/tensorflow,tensorflow/tensorflow,jhseu/tensorflow,jhseu/tensorflow,chemelnucfin/tensorflow,adit-chandra/tensorflow,davidzchen/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,adit-chandra/tensorflow,jhseu/tensorflow,yongtang/tensorflow,arborh/tensorflow,jhseu/tensorflow,jhseu/tensorflow,cxxgtxy/tensorflow,gautam1858/tensorflow,sarvex/tensorflow,cxxgtxy/tensorflow,aldian/tensorflow,jhseu/tensorflow,frreiss/tensorflow-fred,tensorflow/tensorflow-pywrap_tf_optimizer,freedomtan/tensorflow,freedomtan/tensorflow,tensorflow/tensorflow,arborh/tensorflow,Intel-Corporation/tensorflow,renyi533/tensorflow,paolodedios/tensorflow,aam-at/tensorflow,tensorflow/tensorflow,frreiss/tensorflow-fred,yongtang/tensorflow,petewarden/tensorflow,davidzchen/tensorflow,Intel-tensorflow/tensorflow,cxxgtxy/tensorflow,aldian/tensorflow,paolodedios/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,tensorflow/tensorflow-pywrap_tf_optimizer,tensorflow/tensorflow-pywrap_saved_model,frreiss/tensorflow-fred,DavidNorman/tensorflow,karllessard/tensorflow,DavidNorman/tensorflow,freedomtan/tensorflow,gautam1858/tensorflow,adit-chandra/tensorflow,gautam1858/tensorflow,sarvex/tensorflow,aam-at/tensorflow,freedomtan/tensorflow,aldian/tensorflow,jhseu/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,cxxgtxy/tensorflow,renyi533/tensorflow,gautam1858/tensorflow,freedomtan/tensorflow,tensorflow/tensorflow-pywrap_tf_optimizer,DavidNorman/tensorflow,DavidNorman/tensorflow,Intel-tensorflow/tensorflow,freedomtan/tensorflow,tensorflow/tensorflow,tensorflow/tensorflow,gunan/tensorflow,annarev/tensorflow,arborh/tensorflow,xzturn/tensorflow,arborh/tensorflow,DavidNorman/tensorflow,renyi533/tensorflow,xzturn/tensorflow,petewarden/tensorflow,renyi533/tensorflow,tensorflow/tensorflow-experimental_link_static_libraries_once,yongtang/tensorflow,Intel-tensorflow/tensorflow,yongtang/tensorflow,tensorflow/tensorflow,adit-chandra/tensorflow,chemelnucfin/tensorflow,cxxgtxy/tensorflow,tensorflow/tensorflow-pywrap_saved_model,chemelnucfin/tensorflow,gautam1858/tensorflow,Intel-Corporation/tensorflow,aam-at/tensorflow,DavidNorman/tensorflow,arborh/tensorflow,jhseu/tensorflow,chemelnucfin/tensorflow,Intel-tensorflow/tensorflow,davidzchen/tensorflow,annarev/tensorflow,adit-chandra/tensorflow,DavidNorman/tensorflow,arborh/tensorflow