notZeropossxtruenotZeronegsxtruenotZeroneg0falsenotZeropos0falsegreaterZeropossxtruegreaterZeropos0falsegreaterZeronegxfalseandfalsefalsefalseandfalsetruefalseandtruefalsefalseandtruetruetrueminusT0ynegyminusTx0posxminusTsxsyminusTxyplusNat0yyplusNatsxyplusNatxsynegateposxnegxnegatenegxposxminusposxposyminusTxyminusnegxnegynegateminusTxyminusposxnegyposplusNatxyminusnegxposynegplusNatxywhiletrueiywhileandnotZeroygreaterZeroiminusiyynotZero1pos1s1true0neg100false0greaterZero1and2minusT2plusNat2negate1minus2while3FULLrybalchenko-nonloop-popl08.trs