\brief Decide whether a given storage location could be, or could hold, the return value If the output is locked, check if the location overlaps the current return storage. Otherwise, check if the location overlaps an entry in the prototype model. Return: - no_containment - there is no containment between the range and any output storage - contains_unjustified - at least one output storage contai
source not stored for this graph (policy: none)
no test coverage detected