Allow tail call opportunity detection through nested and/or multiple iterations of extractelement/insertelement indirection