租赁计数器

跟踪未结租赁的程序，用于查询用户的所有租赁而无需索引

更详细的文档待定。