Functions whose result should not be cached, but for which the caller can still be cached. Typically, functions printing something during the analysis.
*)
| NoCacheCallers
(*
Functions for which neither the call, neither the callers, can be cached.
*)
Can the results of a function call be cached with memexec?