an isset check will analyze expressions that may differ from PHP after getting elements from typed arrays for example: if $a is int[], then if($a[100] === 0) may differ from PHP if 100-th element doesn't exist (null vs 0)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected