Tag machine reasoning limitations