Holonomic functions in a polycircle with nonnegative imaginary part