fn:is_empty x xtt:concl xtt:next_table xtt_table2 op:assign s x op:numeric-greater-than s 0 xtt:concl xtt:next_table xtt_table2 op:assign s op:numeric-substract s 1