triska point to successor: CLP(Z)

Latest commit 3d7e88a

Oct 22, 2016