/** * @covers ::isPhiVar */ public function testisPhiVarNonValue() { $this->graph->ensureArc($this->v[5], $p = new Phi(new Variable())); $p->addValue(new Variable()); $this->assertFalse(Helper::isPhiVar(new Variable(), $this->graph)); }