public function testInvoke() { $Disjunct = new Disjunct(); $this->assertTrue($Disjunct(true, false)); }