Added missing argument in Z3_interpolate