Use a version of obtainTerm that takes a max depth bound