debugging contraction generator