Fix: an anomaly could actually happen
Fix: an anomaly could actually happen

Consider the clause

p (x \ X x)

X in an argument at argsdepth 0 and it is met when to_ is 1
because we crossed a lambda. Taking the min between argsdepth and
to_ is correct.

LPCIC/elpi