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