Exakat\Analyzer\Structures\NeverNegative::analyze PHP Метод

    public function analyze()
    {
        // count($a) >= 0 (always true)
        $this->atomIs('Comparison')->codeIs(array('>=', '<'))->outIs('RIGHT')->codeIs('0')->inIs('RIGHT')->outIs('LEFT')->functioncallIs(array('\\count', '\\sizeof', '\\strlen', '\\abs'))->back('first');
        $this->prepareQuery();
    }