Workaround a XSB parser bug when running the `recipes` example unit tests