public function analyze() { $this->atomIs('Break')->outIs('LEVEL')->atomIsnot(array('Integer', 'Void'))->codeIsPositiveInteger(); }