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