f true x y f gt x y double x s y gt s x 0 true gt 0 y false gt s x s y gt x y double x doubleAkk x 0 doubleAkk 0 y y doubleAkk s x y doubleAkk x s s y f 3 true 0 gt 2 double 1 s 1 0 0 false 0 doubleAkk 2 FULL emmes-nonloop-ex2_1.trs