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
  val found_concurrent_function :
    loc:Cil_types.location -> Cil_types.varinfo -> unit
end