dgame/php-expectation (packagist): php ensurance
Keywords: assertion|Ensurance|Enforcement|Design by contract