A lightweight Design-by-Contract library for PHP