WitnessUtil.InvariantExp
module ES : sig ... end
val pullOutCommonConjuncts : GoblintCil.Cil.exp -> ES.t
val process_exp : GoblintCil.exp -> GoblintCil.exp list