Support Function Events #3
Description
Version 2.2.0 of the SemGuS Parser now emits events for declaring and defining functions. See:
- https://github.com/SemGuS-git/Semgus-Parser#declare-function
- https://github.com/SemGuS-git/Semgus-Parser#define-function
Supporting these events are particularly important because these events are now emitted for all problems.
In the meantime, the parser has a flag --no-function-events that disables these events.