@property<EOL><INDENT>def ite_burrowed(self):<DEDENT>
if self._burrowed is None:<EOL><INDENT>self._burrowed = self._burrow_ite()  <EOL>self._burrowed._burrowed = self._burrowed  <EOL><DEDENT>return self._burrowed<EOL>
Returns an equivalent AST that "burrows" the ITE expressions as deep as possible into the ast, for simpler
printing.