that issue has finally been resolved in the code and theoretically the fix should be available in the nightly buold on jttps://dautermann.at. bit unfortunately that bld currently suffers from that server having run out of disk space.
Windows installer: Switch from debug to release build
Nightly build: Update wxMaxima
Windows installer: Update wxMaxima
The fact that kill(all) doesn't remove stuff from the facts database feels counterintuitive to me, as well. But perhaps it is logical as you can do a assume(U>0); without ever defining U (and therefore put U into the scope of the kill(all);.
A more stable rss method for wrstcse
wrstcse: Let two AIs review the package
rtest_wrstcse.mac: Added a missing delimiter