Adapt to new interface of CL-INDETERMINISM