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