Interpolant Generation for UTVPI