TransitionInvariant (goblint.Goblint_lib.TransitionInvariant)

module ExtVar : sig ... end

module ExtVarMap : sig ... end

class exp_has_transition_visitor : bool Stdlib.ref -> bool Stdlib.ref -> object ... end

val exp_has_transition : GoblintCil.exp -> bool

val var_replace_with_original_visitor : GoblintCil.nopCilVisitor

val exp_is_suitable : ?scope:GoblintCil.fundec -> GoblintCil.exp -> bool

val extvar_localize_visitor : GoblintCil.nopCilVisitor

module InvariantParser
  (Base : module type of WitnessUtil.InvariantParser) : 
  sig ... end