@property<EOL><INDENT>def ite_excavated(self):<DEDENT>
if self._excavated is None:<EOL><INDENT>self._excavated = self._excavate_ite()  <EOL>self._excavated._excavated = self._excavated<EOL><DEDENT>return self._excavated<EOL>
Returns an equivalent AST that "excavates" the ITE expressions out as far as possible toward the root of the
AST, for processing in static analyses.