strange behavior with c2cauchy unfolding not due to non_termination