functor (Valuation : Valuation->   sig     val clear_englobing_exprs :       Eval.Valuation.t ->       expr:Cil_types.exp -> subexpr:Cil_types.exp -> Eval.Valuation.t   end