use tuple instead of llist for info dict for kleene operator