Returns true if we can prove that the object specified by V has size Size.
source not stored for this graph (policy: none)
no test coverage detected