MainFunctor.RVEval
type t = BaseComponents(Priv.D).t
val eval_exp : t -> GoblintCil.Cil.exp -> Z.t option