\brief Try to guard an address range that is larger than the possible output storage \param fc is the call site potentially returning a value \param addr is the starting address of the range \param transAddr is the starting address of the range relative to the callee \param size is the size of the range in bytes \param write is the set of new written Varnodes \return \b true if the INDIRECTs were
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected