sig
val reset : unit -> unit
val use_model : unit -> bool
val must_model_vi :
?bhv:Visitor_behavior.t ->
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.varinfo -> bool
val must_model_lval :
?bhv:Visitor_behavior.t ->
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.lval -> bool
val must_model_exp :
?bhv:Visitor_behavior.t ->
?kf:Cil_types.kernel_function ->
?stmt:Cil_types.stmt -> Cil_types.exp -> bool
end