[pretzle] changed: set sane recursion limit