fd:=fopen(Text,"to_check",Write);

delete x1;
delete x0;
unassume();
assume(Type::Integer):assume(Global >=1, _and);
assume(x1>=x0,_and);
toto:=((max((x1)+(1),(x0)+(1)))-(max(x1,x0)))-(1);
titi:=simplify(toto);
sig:=sign(titi+0.1);
if sig=-1 then fprint(Unquoted,fd,false) elif sig=0 or sig=1 then fprint(Unquoted,fd,true) else fprint(Unquoted,fd,titi) end_if;

delete x0;
delete x1;
unassume();
assume(Type::Integer):assume(Global >=1, _and);
assume(x0>=x1,_and);
toto:=((max((x1)+(1),(x0)+(1)))-(max(x1,x0)))-(1);
titi:=simplify(toto);
sig:=sign(titi+0.1);
if sig=-1 then fprint(Unquoted,fd,false) elif sig=0 or sig=1 then fprint(Unquoted,fd,true) else fprint(Unquoted,fd,titi) end_if;

fclose(fd);
 quit;