changes to pbc integration

Minor changes to reflect the latest version of the php-by-contract library