Did you know ... Search Documentation:
Predicate run_nb_ref/1
 run_nb_ref(+Goal:pred) is det
Runs Goal in a delimited context supporting nbref_new/2 for allocating a fresh name for a nonbacktrackable mutable variable.