Segmentation fault (core dumped)

This looks like a bug in Maude, but in fact it is a stack overflow (a real segmentation fault is caught and reported as an ``internal error''). On a Unix box you can find out the current limit on your stack size with the (shell) command

  limit stacksize

This is often set to 8192K by default, which is quite inappropriate for a highly recursive system like Maude. You can set the stack size to a larger value with, for example,

  limit stacksize 100M

or remove the limit altogether with

  unlimit stacksize

Note that stack overflows are reported as Illegal instruction on both PowerPC- and Intel-based Macs.