\brief Check if the given two input storage locations can represent a single logical parameter Within the conventions of this model, do the two (hi/lo) locations represent consecutive input parameter locations that can be replaced by a single logical parameter. \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 \p
source not stored for this graph (policy: none)