Added find-recs
find-recs determines which non-terminal terms are recursive