Why developers like PHPStan