let computeUseDefInstr ?(acc_used=VS.empty)
?(acc_defs=VS.empty)
(i: instr) : VS.t * VS.t =
varUsed := acc_used;
varDefs := acc_defs;
ignore (visitCilInstr useDefVisitor i);
!varUsed, !varDefs