nonZero 0 false nonZero s x true p 0 0 p s x x id_inc x x id_inc x s x random x rand x 0 rand x y if nonZero x x y if false x y y if true x y rand p x id_inc y nonZero 1 0 0 false 0 s 1 true 0 p 1 id_inc 1 random 1 rand 2 if 3 FULL ./TRS/SchneiderKamp/trs/thiemann40.trs