Assume, Additionally Bug

[CH3791]

Hi,
I think I have found a bug with the assume and additionally commands.

Code:

#cas
demonstration(expression,domainlow,domainhigh):=
BEGIN
  assume(x>=domainlow);
  additionally(x<=domainhigh);
  xints:=solve(0=expression,x);//calculating x-ints
  return xints;
END;
#end

   
It probably has something to do with symbolic representation and pi?