let extraUsesOfExpr: (exp -> VS.t) ref =
  ref (fun _ -> VS.empty)