let resolv_func_vinfo ?deps kinstr funcexp =
    !Values_To_Use.expr_to_kernel_function ?deps kinstr funcexp