Make sure indicated range of addresses is \e contained in \b this RangeList \param addr is the first Address in the target range \param size is the number of bytes in the target range \return \b true is the range is fully contained by this RangeList
source not stored for this graph (policy: none)