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
NLUTincNum
have been wrapped in a static functionIncNum
, which does nothing if the avis is a dummy. -
AdjustRC
has 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