let
fi_svar fi =
Kernel_function
.get_vi fi.
T
.fi_kf