Testing ZF2