sign doesn't immediately clean up database

Once the call to sign exits, there should be no facts on the symbol a:

(%i1) (sign(1/a), facts(a));
(%o1) [notequal(a,0)]

(%i2) facts(a);
(%o2) []