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