investigating limit(abs(x),x,0) bug



hello,
In limit.lisp there's unreacheble code, I think. It's placed in the 
mabs-subst. It's (COND ... ((AND A D) (COND ((ZEROP1 D)... The second 
COND is never touched if D is zero. I don't understand this special 
treating of abs(0). Any comments?
--
Andrei Zorine