ProcSet unavailable in PlusCal define statement

[Jaak Ristioja <jaak.r...@xxxxxxxx>]

Hello!

Is there a good reason why the definition of ProcSet provided by the
PlusCal translator is unavailable for use in the define { } statement in
PlusCal?

I tried to write some definitions/functions using ProcSet, but it seems
that the PlusCal translator inserts the definition of ProcSet after the
definitions provided in the define statement (and the definitions of
local variables).

Best regards,
Jaak Ristioja