let computeUseLocalTypes ?(acc_used=VS.empty) (fd : fundec) = List.fold_left (fun u vi -> ignore(visitCilType useDefVisitor vi.vtype); VS.union u (!varUsed)) acc_used fd.slocals