assumptions for vars aren't saved unless they contain instances (neither for parameters, nor for local vars) i.e. even if you write `@var int|false $a`, it won't be saved as an assumption, and `return $a` will assume unknown for generics instantiating, like calls `f($a)` we intentionally search for @var even with primitives
source not stored for this graph (policy: none)
no test coverage detected