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 ()))