let
considerVariableDef: (varinfo
->
bool) ref =
ref (
fun
_
->
true
)