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