1024 1024_1 0 1024_1 x if lt x 10 x if true x double 1024_1 s x if false x s 0 lt 0 s y true lt x 0 false lt s x s y lt x y double 0 0 double s x s s double x 10 double s double s s 0 1024 0 1024_1 1 0 0 if 2 lt 2 10 0 true 0 double 1 s 1 false 0 FULL ./TRS/SchneiderKamp/trs/thiemann19.trs