a php-by-contract demo