type 'a lBT = LEmpty
 | LNode of 'a * 'a lBT lazy_t * 'a lBT lazy_t;;