ExpEval (p.goblint.2.0.0.doc.goblint.lib.Goblint_lib.ExpressionEvaluation.ExpEval)

val transform : 
  (GoblintCil.Cil.location -> Queries.ask) ->
  GoblintCil.file ->
  unit