The attached module contains a PlusCal algorithm with several definitions and macros, and it is accepted by the Toolbox and the PlusCal translator.
You are right. I don't know why errors were reported. But after removing the translation and
running translation once again errors disappeared. Excuse me.
(Obviously if there were a more serious problem, I would send you my code.)
--
FL