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