sig
  val should_memorize_function : Cil_types.fundec -> bool
  val no_memoization_enabled : unit -> bool
end