op:numeric-greater-than x 0 op:numeric-greater-than s 0 xtt:concl xtt:next_table xtt_table1 op:assign y op:numeric-multiply y s x 0 xtt:run_two op:assign y 1 xtt:return s x y op:numeric-greater-than x 0 s 1 xtt:return s x y