Get interior nodes directly from recursivenodes#70

pbrubeck wants to merge 4 commits intomainfiredrakeproject/fiat:mainfrom

pbrubeck/fix/interior-nodesfiredrakeproject/fiat:pbrubeck/fix/interior-nodesCopy head branch name to clipboard