a lightweight design by contract library for PHP