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