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