solve some issues with recursive functions when GC'ing on every step
Merge branch 'master' of https://github.com/pepeiborra/ministg-maude