Bug report PHPStan - PHP Static Analysis Tool 0.12.3 I'm getting this error: Variable $_SESSION in isset () always exists and is not nullable. Code snippet that reproduces the problem function ...