because the frontend uses -1 for no line number, the backend 0

call of an expanded function with too many arguments

it is not used because dcl macros cannot use icl macros.

it is not used because dcl macros cannot use icl macros.

in genericsupport

checkExplicitImportCompleteness, because it is not used because
imported definitions cannot  use local macros.

as qualified identifiers

r & f = e    // same as r = {r & f=e}
a & [i] = e  // same as a = {a & [i]=e}
nested and multiple updates are also allowed

existential or universal quantifier

is used in a curried application of a case expression, to prevent
case's with applications that are be optimized.
Whether the producer is treated as a curried or normal producer is
determined during unfolding, PR_CurriedProducer is
used to mark producers for which this is allowed.

an application that can be fused,
a function is created of the case, without the application (producer),
and the new function and the application (producer) are fused later (if possible)

may be copied (without duplicating work),
this is intended to optimize generic bimaps

arguments or a basic value