\brief Check if the given two output storage locations can represent a single logical return value Within the conventions of this model, do the two (hi/lo) locations represent consecutive locations that can be replaced by a single logical return value. \param hiaddr is the address of the most significant part of the value \param hisize is the size of the most significant part in bytes \param load
source not stored for this graph (policy: none)