sig
  val reset : unit -> unit
  val use_monitoring : unit -> bool
  val must_monitor_vi :
    ?kf:Cil_types.kernel_function ->
    ?stmt:Cil_types.stmt -> Cil_types.varinfo -> bool
  val must_monitor_lval :
    ?kf:Cil_types.kernel_function ->
    ?stmt:Cil_types.stmt -> Cil_types.lval -> bool
  val must_monitor_exp :
    ?kf:Cil_types.kernel_function ->
    ?stmt:Cil_types.stmt -> Cil_types.exp -> bool
end