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