How to calculate interpolation with new Z3?

I used to calculate interpolation with function Z3_interpolate

when using unstable Z3 4.3.2. But in Z3 stable 4.3.2 and Z3 unstable 4.3.3, I can't call anymore Z3_interpolate

. I'm wondering how to compute the interpolation from the API provided by the new Z3. (The doc and example provide a bit of information on computational interpolation with the Z3 API, and I don't know how to do it now)