Refactored integration of php-by-contract library

Refactored integration of php-by-contract library and made some minor bugfixes to the code's annotations.