Add php-by-contract class loader and configuration