**Modified README
* Added stratified recursion checking.
* Added tests for it.