let
equal_fi fi1 fi2 =
let
v1 = fi_svar fi1
in
let
v2 = fi_svar fi2
in
v1.vid = v2.vid