Resolve "UAR crashes when called in WL"
The problem was that the reference counting traversal inserted counting on dummy arguments that are later removed, leading to references to deleted nodes.
This was only being avoided for a single specific case, instead of for all occurrences.
- Applications of
NLUTincNumhave been wrapped in a static functionIncNum, which does nothing if the avis is a dummy. -
AdjustRChas been modified to ignore dummy avises.
This ensures that we now properly ignore reference counting for dummy values in all cases.
Closes #2373 (closed)
Side note: UAR is enabled by default, so the -douar flag is no longer required