fixed infinite loop bug (e.g. self-referential computer nonterms) by imposing a max call stack size