let should_memorize_function name =
not (Value_parameters.NoResultsAll.get() ||
(Value_parameters.ObviouslyTerminatesAll.get()) ||
let name = name.svar.vname in
let mem = Datatype.String.Set.mem in
mem name (Value_parameters.NoResultsFunctions.get ())
|| mem name (Value_parameters.ObviouslyTerminatesFunctions.get ()))