@property<EOL><INDENT>def uc_alloc_depth(self):<DEDENT>
<EOL>return self._uc_alloc_depth<EOL>
The depth of allocation by lazy-initialization. It's only used in under-constrained symbolic execution mode.

:return: An integer indicating the allocation depth, or None if it's not from lazy-initialization.