Debugging PHP generator