nonZero 0 false nonZero s x true p s 0 0 p s s x s p s 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/aprove08/thiemann40_modified.trs