working on examples with infinite loop bug in digestion