/**
  * @test
  */
 public function notLesserThanIsEqualsOrLesserThan()
 {
     $eq2 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(2);
     $lt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(2);
     $gt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(2);
     $this->assertTrue($gt2->not()->isEqualTo($eq2->lOr($lt2)));
 }
 /**
  * @test
  */
 public function lt4OrGt2IsGeneralizationOfNotLt4AndNotGt2()
 {
     $lt4 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(4);
     $gt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(2);
     $notLt4AndNotGt2 = $lt4->not()->lAnd($gt2->not());
     $this->assertTrue($lt4->lOr($gt2)->isGeneralizationOf($notLt4AndNotGt2));
 }