[macros]
These are macros of the Pluscal language aren't they. (3.5 p. 28)
https://lamport.azurewebsites.net/tla/c-manual.pdf
In fact I meant a predicate expressed as a TLA+ operator (17.5.3 p. 329)
https://lamport.azurewebsites.net/tla/book-02-08-08.pdf
Forgive the inaccuracy of my vocabulary.
Anyway I'll try to implement what you have suggested.
--
FL