let no_memoization_enabled () =
Value_parameters.NoResultsAll.get() ||
Value_parameters.ObviouslyTerminatesAll.get() ||
not (Value_parameters.NoResultsFunctions.is_empty ()) ||
not (Value_parameters.ObviouslyTerminatesFunctions.is_empty ())