Implementation of 12 tdds of Christmas with PHP / PHPUnit